Name
prop
Named
prop
Negation
prop
NonEmptyIList
scalaz
n
Atom
Named
name
Eval
noCycle
CycleDetector
noCycleProp
CycleDetector
not
Logic
nyaya
root