quotRem package:semirings

Division with remainder.
\x y -> y == 0 || let (q, r) = x `quotRem` y in x == q * y + r