module Foo
imports T2
abstract syntax

T1 = f(x:T2,y:T1) |a()