Check laziness of Coercion in the Reduction type
Coercion stored in a
Reduction is lazy in order to work with Derived constraints. However, once !5899 (closed) lands, Derived constraints will be a part of history. We should then check to see if making this coercion strict would yield a performance improvement.