Control.Effect

Core API

data Eff f m a

translate

class Interprets p m

interpret

type family IsEff (m :: * -> *) :: Constraint where ...