Matryoshka.Transform

type Transform :: Type -> (Type -> Type) -> (Type -> Type) -> Typetype Transform t f g = f t -> g t

type TransformM :: (Type -> Type) -> Type -> (Type -> Type) -> (Type -> Type) -> Typetype TransformM m t f g = f t -> m (g t)

type AlgebraicGTransform :: (Type -> Type) -> Type -> (Type -> Type) -> (Type -> Type) -> Typetype AlgebraicGTransform w t f g = f (w t) -> g t

type CoalgebraicGTransform :: (Type -> Type) -> Type -> (Type -> Type) -> (Type -> Type) -> Typetype CoalgebraicGTransform n t f g = f t -> g (n t)