Control.Effects

type family EffectMsg eff :: *

type family EffectRes eff :: *

class MonadEffect eff m

data EffectHandler eff m a

handleEffect