Control.Functor.Strong
strength
costrength