alms-0.6.0: examples/ex11-affine-type-error.alms

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

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