type-level-natural-number-1.0: Setup.hs

import Distribution.Simple
main = defaultMain