Control.Eff
type Eff r
type Member
class SetMember set t r
data Union r v
data a :> b
inj
prj
prjForce
decomp
send
run
interpose
handleRelay
unsafeReUnion