t1_4.gom

module Foo
imports int String char boolean double long float
abstract syntax

T1 = f(x:T2,y:T1) | a(x:T2)
T2 = g(x:T1,y:T2) | b()
T3 = S(x:String)
T4 = T(x:float,y:boolean,z:double,w:long)

List = List(T1*)
IList = iList(int*)