fork download

copy

import Data.Typeable
 
main = print $ typeOf zipWith

[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

Standard output is empty