module Pandora.Paradigm.Controlflow.Effect.Transformer (module Exports, Transformer) where

import Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic as Exports
import Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic as Exports

import Pandora.Pattern.Functor (Monad, Comonad)

type family Transformer c t where
	Transformer Monad t = Monadic t
	Transformer Comonad t = Comonadic t