Documentation
type T7 a b c d e f g = (a, T6 b c d e f g) Source
type T8 a b c d e f g h = (a, T7 b c d e f g h) Source
type T9 a b c d e f g h a9 = (a, T8 b c d e f g h a9) Source
type T10 a b c d e f g h a9 a10 = (a, T9 b c d e f g h a9 a10) Source
type T11 a b c d e f g h a9 a10 a11 = (a, T10 b c d e f g h a9 a10 a11) Source
type T12 a b c d e f g h a9 a10 a11 a12 = (a, T11 b c d e f g h a9 a10 a11 a12) Source
type T13 a b c d e f g h a9 a10 a11 a12 a13 = (a, T12 b c d e f g h a9 a10 a11 a12 a13) Source
type T14 a b c d e f g h a9 a10 a11 a12 a13 a14 = (a, T13 b c d e f g h a9 a10 a11 a12 a13 a14) Source
type T15 a b c d e f g h a9 a10 a11 a12 a13 a14 a15 = (a, T14 b c d e f g h a9 a10 a11 a12 a13 a14 a15) Source
type T16 a b c d e f g h a9 a10 a11 a12 a13 a14 a15 a16 = (a, T15 b c d e f g h a9 a10 a11 a12 a13 a14 a15 a16) Source
type T17 a b c d e f g h a9 a10 a11 a12 a13 a14 a15 a16 a17 = (a, T16 b c d e f g h a9 a10 a11 a12 a13 a14 a15 a16 a17) Source
type T18 a b c d e f g h a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 = (a, T17 b c d e f g h a9 a10 a11 a12 a13 a14 a15 a16 a17 a18) Source