-
Robbert Krebbers authored
Since functor instances are just used as combinators, there is really no need for functors that are not contractive.
80dd5e37
Since functor instances are just used as combinators, there is really no need for functors that are not contractive.