:: Natural -> Nat package:ghc-prim