| newtype Y e = Y { unY :: (e (Y e)) }
| deriving(Data,Typeable,Show,Read,Eq)
|
| gives
| E.hs:64:
| Can't make a derived instance of `Typeable (Y e)'
| (`Y' is parameterised over arguments of kind other than `*')
| When deriving instances for type `Y'
|
| Is there any way around
I've fixed this now. Thanks for pointing it out.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Ian Lynagh
| Sent: 13 July 2004 15:43
| To: Simon Marlow
| Cc: [EMAIL PROTECTED]; Peter Simons
| Subject: Re: "Stricts _"
