Control.THEff
mkEff
data Eff w a
class EffClass w v e
data NoEff m a
effNoEff
runNoEff
data Lift' m v
class EffClassM m e
lift
data Lift m a
runLift