Hello,


Please, who knows what are the "deriving possibilites" in Haskell-1.4?


Suppose we define in our program the classes  D1..D6,  the data 
constructor F, and the instances 
                instance C1 a => D1 (F a) where ...
                ...
                instance C6 a => D6 (F a) where ...

Now, for        data  G a =  G (F a)

we are is going to "copy" D1-D4 instances to  G a  by "deriving" 
(using the natural isomorphism  F a <--> G a)
and define  D5,D6  in another way.

Could we set      data G a = G (F a)  deriving(D1,D2,D3,D4)

or something instead of this?



------------------
Sergey Mechveliani

[EMAIL PROTECTED]













Reply via email to