type foo = < foo:int > type bar = < bar:int > type k = < foo; bar > type u = < k; baz:int > let f (x: <u; ..>) (\* the type annotation is not needed \*) = x#m
