Control.Functor.Limit
type Limit f
class HasLimit f
data Colimit f