Re: Type inference bug?

[Lennart Augustsson]

> Doesn't Haskell do the same if you say:
> 
>   class Cow a where
>     pig :: a -> Int
>     fly :: Int
This is not legal Haskell.  The class variable must occur
in every method type.

        -- Lennart