Control.Effect.Parameterised

data T i a

data Morph a b