test.ml

type t1 = [`Foo]

let name1 = function `Foo -> "foo"

type t2 = [t1 | `Bar]

let name2 = function #t1 as f -> name1 f | `Bar -> "bar"