Corrected distribution match for Requires