blob: 32af3d838210c54d5899c7485a8304ce6172afe8 (
plain)
1
2
3
4
5
|
tcfail127.hs:3:8: error:
Illegal polymorphic or qualified type: Num a => a -> a
GHC doesn't yet support impredicative polymorphism
In the type signature for ‘foo’: foo :: IO (Num a => a -> a)
|