[1 of 1] Compiling Main ( prog.hs, prog.o )
prog.hs:3:35:
Ambiguous type variable `a' in the constraint:
`Typeable a' arising from a use of `typeOf' at prog.hs:3:35-45
Probable fix: add a type signature that fixes these type variable(s)
prog.hs:3:35:
Ambiguous type variable `b' in the constraint:
`Typeable b' arising from a use of `typeOf' at prog.hs:3:35-45
Probable fix: add a type signature that fixes these type variable(s)