Control.Effect.Writer

data Writer w a

data Symbol

put

data k :-> v

type IsSet s

data Set n

union

data Var k

type Union s t

type Unionable s t