Control.Effects

data MsgOrRes

data family Effect (effKind :: Type) :: effKind -> MsgOrRes -> Type

class MonadEffect effKind m

data EffectWithKind effKind m

data EffectHandler effKind m a

handleEffect

type family MonadEffects effs m :: Constraint where ...