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

let dup : ∀ `a. `a → `a * `a = λ x → (x, x)