ConstrainedType::shouldBeCopyable