[Haskell-cafe] Functional Dependencies and multiparameter typeclasses

[Bulat Ziganshin]

Hello Harald,

Monday, August 24, 2009, 3:17:28 PM, you wrote:

>       class Pixel p where
>       -- | an image could be a UArray or a list of lists of pixels
>       class Pixel p => Image a p where

read http://haskell.org/haskellwiki/OOP_vs_type_classes

here you say that Image is a particular case of Pixel :)

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com