Control.Effect.Writer

data Writer w a

data Symbol

put

data Mapping k v

type IsMap k v s

data Map n

union

data Var k

type Union k v m n

type Unionable s t