Type a0 is ambiguous...
I couldn't find a default type for a0, because a0 is
required to have the following instances:
Show (from print it)
Integral (from mod)
Fractional (from (/))
The closest matching default type was Integer:
instance Show Integer
instance Integral Integer
But it did not satisfy:
Fractional Integer