6 :: List a = Nil | Cons a (List a)
9 :: R = {i :: Int, q :: T}
10 :: Muta a = Muta (Mutb a)
11 :: Mutb a = Mutb (Muta a)
12 derive gToStruct NInt, T, List, R, Muta, Mutb, (,), (), [], (,,)
13 derive gPotInf NInt, T, List, R, Muta, Mutb, (,), (), [], (,,)
16 Start = let (l, r) = (toCParser (unBox t2)) in concat r
18 t :: Box String (List (Muta Int))
19 // t :: Box GTSState NInt
22 t2 :: Box GTSState (Bool, Int)