Merged loosening of type constraint.