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.
(<$>)