Necessary because of ghc's over-aggressive inlining which causes ABI changes in libraries depending on updated libraries. ok jasper@
This library permits performing computations on the type-level. Type-level functions are implemented using functional dependencies of multi parameter type classes. To date, Booleans and Numerals (Naturals and Positives) are supported. ok kili@