homogeneous relations with haskell

Homogeneous relations implementation with haskell

Check for:

Reflexive Symmetric Antisymmetric Asymmetric Transitive Dense Connected Strongly connected Trichotomous Serial (or left-total) Well-founded Preorder Partial order (also, order[citation needed]) Total order (also, linear order, simple order, or chain) Partial equivalence relation Equivalence relation ... https://www.youtube.com/watch?v=ENQsUZktvE0