Traced
scalaz
t
PropA
test
Eval
EvalOver
Prop
toString
Atom
tree
GraphType