/* invalid: two fields with the same name */ module Foo imports int String abstract syntax T = h(x:T,x:T)