Control.Effects.Eff
data Eff r a
type Handler e r a b
data Comp e r a b
type Res r
effect
runPure
runPureRes
handle
continue
finish
inj
class Member f r
class Typeable k a