tfp-1.0.1.1: Type-level integers, booleans, lists using type families
Type.Data.Num.Unary.Literal
type U0 = Zero #
type U1 = Succ U0 #
type U2 = Succ U1 #
type U3 = Succ U2 #
type U4 = Succ U3 #
type U5 = Succ U4 #
type U6 = Succ U5 #
type U7 = Succ U6 #
type U8 = Succ U7 #
type U9 = Succ U8 #
type U10 = Succ U9 #
type U11 = Succ U10 #
type U12 = Succ U11 #
type U13 = Succ U12 #
type U14 = Succ U13 #
type U15 = Succ U14 #
type U16 = Succ U15 #
type U17 = Succ U16 #
type U18 = Succ U17 #
type U19 = Succ U18 #
type U20 = Succ U19 #
type U21 = Succ U20 #
type U22 = Succ U21 #
type U23 = Succ U22 #
type U24 = Succ U23 #
type U25 = Succ U24 #
type U26 = Succ U25 #
type U27 = Succ U26 #
type U28 = Succ U27 #
type U29 = Succ U28 #
type U30 = Succ U29 #
type U31 = Succ U30 #
type U32 = Succ U31 #
type U33 = Succ U32 #
type U34 = Succ U33 #
type U35 = Succ U34 #
type U36 = Succ U35 #
type U37 = Succ U36 #
type U38 = Succ U37 #
type U39 = Succ U38 #
type U40 = Succ U39 #
type U41 = Succ U40 #
type U42 = Succ U41 #
type U43 = Succ U42 #
type U44 = Succ U43 #
type U45 = Succ U44 #
type U46 = Succ U45 #
type U47 = Succ U46 #
type U48 = Succ U47 #
type U49 = Succ U48 #
type U50 = Succ U49 #
type U51 = Succ U50 #
type U52 = Succ U51 #
type U53 = Succ U52 #
type U54 = Succ U53 #
type U55 = Succ U54 #
type U56 = Succ U55 #
type U57 = Succ U56 #
type U58 = Succ U57 #
type U59 = Succ U58 #
type U60 = Succ U59 #
type U61 = Succ U60 #
type U62 = Succ U61 #
type U63 = Succ U62 #
type U64 = Succ U63 #
u0 :: Proxy U0 #
u1 :: Proxy U1 #
u2 :: Proxy U2 #
u3 :: Proxy U3 #
u4 :: Proxy U4 #
u5 :: Proxy U5 #
u6 :: Proxy U6 #
u7 :: Proxy U7 #
u8 :: Proxy U8 #
u9 :: Proxy U9 #
u10 :: Proxy U10 #
u11 :: Proxy U11 #
u12 :: Proxy U12 #
u13 :: Proxy U13 #
u14 :: Proxy U14 #
u15 :: Proxy U15 #
u16 :: Proxy U16 #
u17 :: Proxy U17 #
u18 :: Proxy U18 #
u19 :: Proxy U19 #
u20 :: Proxy U20 #
u21 :: Proxy U21 #
u22 :: Proxy U22 #
u23 :: Proxy U23 #
u24 :: Proxy U24 #
u25 :: Proxy U25 #
u26 :: Proxy U26 #
u27 :: Proxy U27 #
u28 :: Proxy U28 #
u29 :: Proxy U29 #
u30 :: Proxy U30 #
u31 :: Proxy U31 #
u32 :: Proxy U32 #
u33 :: Proxy U33 #
u34 :: Proxy U34 #
u35 :: Proxy U35 #
u36 :: Proxy U36 #
u37 :: Proxy U37 #
u38 :: Proxy U38 #
u39 :: Proxy U39 #
u40 :: Proxy U40 #
u41 :: Proxy U41 #
u42 :: Proxy U42 #
u43 :: Proxy U43 #
u44 :: Proxy U44 #
u45 :: Proxy U45 #
u46 :: Proxy U46 #
u47 :: Proxy U47 #
u48 :: Proxy U48 #
u49 :: Proxy U49 #
u50 :: Proxy U50 #
u51 :: Proxy U51 #
u52 :: Proxy U52 #
u53 :: Proxy U53 #
u54 :: Proxy U54 #
u55 :: Proxy U55 #
u56 :: Proxy U56 #
u57 :: Proxy U57 #
u58 :: Proxy U58 #
u59 :: Proxy U59 #
u60 :: Proxy U60 #
u61 :: Proxy U61 #
u62 :: Proxy U62 #
u63 :: Proxy U63 #
u64 :: Proxy U64 #