check :: IO ()
check = do print =<< prove (qrem :: SWord8   -> SWord8   -> SBool)
           print =<< prove (qrem :: SInt8    -> SInt8    -> SBool)
           print =<< prove (qrem :: SInteger -> SInteger -> SBool)
check :: IO ()
check = do print =<< prove (qrem :: SWord8   -> SWord8   -> SBool)
           print =<< prove (qrem :: SInt8    -> SInt8    -> SBool)
           print =<< prove (qrem :: SInteger -> SInteger -> SBool)
check = do print =<< prove (qrem :: SWord8   -> SWord8   -> SBool)
           print =<< prove (qrem :: SInt8    -> SInt8    -> SBool)
           print =<< prove (qrem :: SInteger -> SInteger -> SBool)