Pure Functional Abstractions (`pure`)

The module provides generic purely functional abstractions:

Type traits

hkt Higher-Kinded Type
eq is Eq (equality) type trait
foldable is Foldable type trait define rules of folding data structures to a summary value.
monoid is Monoid type trait defined an algebraic structure consisting of Semigroup and Empty element.
ord is Ord (ordering) type trait
semigroup is Semigroup type trait defined an associative binary operation for a set.