(* Can't duplicate type `a (type error) *)

let dup[`a] (x: `a) = (x, x)