type t = T

let t : t = match (T<>) { (x : t) -> x }