module Foo {

t = A | B (x)
y = (t,int)
x = (y,t)

}