[Haskell-cafe] On to applicative

[Ivan Lazar Miljenovic]

On 26 August 2010 15:56, michael rice <nowgate at yahoo.com> wrote:
>
> From: http://en.wikibooks.org/wiki/Haskell/Applicative_Functors
>
> =============================
> import Control.Applicative
>
> f :: (a -> b -> c)
> fmap :: Functor f => (d -> e) -> f d -> f e
> fmap f :: Functor f => f a -> f (b -> c)    -- Identify d with a, and e with (b -> c)
>
> sumsqr :: Int -> Int -> Int    -- my f
> sumsqr i j = i*i+j*j
> =============================

The line with the error is the one beginning with "fmap f :: ..."; you
can't provide a variable/parameter on the left hand side of the ::

Also, why are you trying to re-define fmap?

--
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com