konn/type-natural — pull request #4 by johnpmayer (2014-07-28 01:51:22+00:00)
Title: added type hint for type-family usage of promote. cleaned up deprecated ...

...smart constructors

fixes #3