Nat

fixedpoint

NatOps

fixedpoint

NilF

patterns

NonEmptyIList

scalaz

Nu

data

never

Partial

nonInheritedOps

Based Birecursive EqualT Merge Recursive ShowT Diffable

now

Partial