type-fn 0.2.0

Allows for simpler coding of type-level logic, e.g. for type-number systems.
Documentation