Agda.Utils.Functor

($>)

(<.>)

for

(<&>)

class Decoration t

dmap

dget

The constant functor.

Maybe. Can only be traversed into pointed functors.

Other disjoint sum types, like lists etc.

(<$>)