Control.Effects1

type family EffectMsg1 eff :: * -> *

type family EffectRes1 eff :: * -> *

type family EffectCon1 eff a :: Constraint

class MonadEffect1 eff m

data EffHandling1 eff m

data EffectHandler1 eff m a

handleEffect1