fmapDefault package:invertible

Default invertible Functor implementation for simple non-invertible Functors.