Since functor instances are just used as combinators, there is really no need for functors that are not contractive.
00:03:18
Mar 06, 2016