module Type.Data.Num.Unary.Literal where

import Type.Data.Num.Unary (Zero, Succ)
import Type.Base.Proxy (Proxy(Proxy))


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