1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
L0 :: [T] = '[] L1 :: [T] = '[MkT] L2 :: [T] = [MkT, MkT] Tup0 :: () = '() Tup2 :: (T, T) = '(MkT, MkT) S :: T = MkT I :: And Type T = T :& MkT L0 :: [T] = '[] L1 :: [T] = '[ 'MkT] L2 :: [T] = ['MkT, 'MkT] Tup0 :: () = '() Tup2 :: (T, T) = '( 'MkT, 'MkT) S :: T = 'MkT I :: And Type T = T ':& 'MkT