NumHask.Algebra
Algebraic Heirarchy