Control.Eff

type Eff r

class Member t r

class SetMember set t r

data Union r v

data a :> b

inj

prj

prjForce

decomp

send

run

interpose

handleRelay

unsafeReUnion