3 Could not deduce `Integral a'
4 (arising from use of `mod' at tcfail034.hs:17)
5 from the context (Num a, Eq a, test at a)
6 Probable cause: missing `Integral a' in type signature for `test'
7 When checking the type signature(s) for `test'
10 Compilation had errors