Control.Eff

data Eff r a

data VE r w

class Member t r

class SetMember set t r

data Union r v

data a :> b

inj

prj

prjForce

decomp

send

admin

run

interpose

handleRelay

unsafeReUnion