NatualEqual
fp
negation
EqualLaw
nonZero
Monoid
none
OptionSyntax
notEqual
Equal