fork download
  1. import Data.Typeable
  2.  
  3. main = print $ typeOf zipWith
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
[1 of 1] Compiling Main             ( prog.hs, prog.o )

prog.hs:3:16:
    No instance for (Typeable c0) arising from a use of `typeOf'
    The type variable `c0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance [overlap ok] Typeable ()
        -- Defined in `Data.Typeable.Internal'
      instance [overlap ok] Typeable Bool
        -- Defined in `Data.Typeable.Internal'
      instance [overlap ok] Typeable Char
        -- Defined in `Data.Typeable.Internal'
      ...plus 18 others
    In the second argument of `($)', namely `typeOf zipWith'
    In the expression: print $ typeOf zipWith
    In an equation for `main': main = print $ typeOf zipWith
stdout
Standard output is empty