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