Steffen Schuldenzucker wrote:
> data Foo a = Foo a
> 
> instance Functor Foo where
>     fmap f (Foo x) = Foo . f . f $ x

I think this doesn't typecheck.

Cheers, Jochem

-- 
Jochem Berndsen | joc...@functor.nl | joc...@牛在田里.com
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to