Check laziness of Coercion in the Reduction type
The 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.