Control.Effect

Core API

data Eff f m a

translate

class Interprets p m

type family IsEff m :: Constraint