NumHask.Prelude
Backend
Algebraic Heirarchy