Implement a smart constructor mkUnsafeCoercion, and use it