Since functor instances are just used as combinators, there is really
no need for functors that are not contractive.