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