Control.Functor.Constrained

Functors

class Functor f r t

(<$>)

constrainedFmap

[Co]product mapping

class SumToProduct f r t