n non-negative integers @div@ and @quot@ should be have the same
-- behaviour.
prop_div_quot ∷ PeanoNat → PeanoNat → Property
prop_div_quot n d = n >= 0 && d > 0 ==> n `div` d == n `quot` d

main ∷ I
prop_div_quot ∷ PeanoNat → PeanoNat → Property
prop_div_quot n d = n >= 0 && d > 0 ==> n `div` d == n `quot` d
prop_div_quot n d = n >= 0 && d > 0 ==> n `div` d == n `quot` d