Unwriter

scalaz

unapply

VariableReferenced

unary

Interpreted

unassigned

SolutionTreeNode

unit

Constraint