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