Functor

class Functor f k

objectMap

fmap

data Comp k f g

data IdentityF c

data CanonicalF f