(* Can't duplicate affine abstract type (type error) *)

abstype t qualifier A = B with end

let dup (x: t) = (x, x)