Control.Morphism.Para
type Para f
type ParaT w f