Control.Functor.Cone
type Cone n f
data Cocone f n