/* invalid: T2 not declared */

module Foo
abstract syntax

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