{- |
Module      :  TypeLevel.NaturalNumber.ExtraNumbers
Copyright   :  (c) Claude Heiland-Allen 2012
License     :  BSD3

Maintainer  :  claudiusmaximus@goto10.org
Stability   :  stable
Portability :  portable

Boilerplate definitions generated by:

> flip mapM_ [16..53] $ \p -> let s = show p in
>   putStrLn $ "type N" ++ s ++ " = SuccessorTo N" ++ show (p - 1) ++
>     " ; n" ++ s ++ " :: N" ++ s ++ " ; n" ++ s ++ " = undefined"

-}
module TypeLevel.NaturalNumber.ExtraNumbers where

import TypeLevel.NaturalNumber (N15, SuccessorTo)

type N16 = SuccessorTo N15 ; n16 :: N16 ; n16 = undefined
type N17 = SuccessorTo N16 ; n17 :: N17 ; n17 = undefined
type N18 = SuccessorTo N17 ; n18 :: N18 ; n18 = undefined
type N19 = SuccessorTo N18 ; n19 :: N19 ; n19 = undefined
type N20 = SuccessorTo N19 ; n20 :: N20 ; n20 = undefined
type N21 = SuccessorTo N20 ; n21 :: N21 ; n21 = undefined
type N22 = SuccessorTo N21 ; n22 :: N22 ; n22 = undefined
type N23 = SuccessorTo N22 ; n23 :: N23 ; n23 = undefined
type N24 = SuccessorTo N23 ; n24 :: N24 ; n24 = undefined
type N25 = SuccessorTo N24 ; n25 :: N25 ; n25 = undefined
type N26 = SuccessorTo N25 ; n26 :: N26 ; n26 = undefined
type N27 = SuccessorTo N26 ; n27 :: N27 ; n27 = undefined
type N28 = SuccessorTo N27 ; n28 :: N28 ; n28 = undefined
type N29 = SuccessorTo N28 ; n29 :: N29 ; n29 = undefined
type N30 = SuccessorTo N29 ; n30 :: N30 ; n30 = undefined
type N31 = SuccessorTo N30 ; n31 :: N31 ; n31 = undefined
type N32 = SuccessorTo N31 ; n32 :: N32 ; n32 = undefined
type N33 = SuccessorTo N32 ; n33 :: N33 ; n33 = undefined
type N34 = SuccessorTo N33 ; n34 :: N34 ; n34 = undefined
type N35 = SuccessorTo N34 ; n35 :: N35 ; n35 = undefined
type N36 = SuccessorTo N35 ; n36 :: N36 ; n36 = undefined
type N37 = SuccessorTo N36 ; n37 :: N37 ; n37 = undefined
type N38 = SuccessorTo N37 ; n38 :: N38 ; n38 = undefined
type N39 = SuccessorTo N38 ; n39 :: N39 ; n39 = undefined
type N40 = SuccessorTo N39 ; n40 :: N40 ; n40 = undefined
type N41 = SuccessorTo N40 ; n41 :: N41 ; n41 = undefined
type N42 = SuccessorTo N41 ; n42 :: N42 ; n42 = undefined
type N43 = SuccessorTo N42 ; n43 :: N43 ; n43 = undefined
type N44 = SuccessorTo N43 ; n44 :: N44 ; n44 = undefined
type N45 = SuccessorTo N44 ; n45 :: N45 ; n45 = undefined
type N46 = SuccessorTo N45 ; n46 :: N46 ; n46 = undefined
type N47 = SuccessorTo N46 ; n47 :: N47 ; n47 = undefined
type N48 = SuccessorTo N47 ; n48 :: N48 ; n48 = undefined
type N49 = SuccessorTo N48 ; n49 :: N49 ; n49 = undefined
type N50 = SuccessorTo N49 ; n50 :: N50 ; n50 = undefined
type N51 = SuccessorTo N50 ; n51 :: N51 ; n51 = undefined
type N52 = SuccessorTo N51 ; n52 :: N52 ; n52 = undefined
type N53 = SuccessorTo N52 ; n53 :: N53 ; n53 = undefined