Begin forwarded message:

From: "Pablo Nogueira" Date: November 10, 2006 12:46:27 GMT+01:00 To: "Alexey Rodriguez" Subject: Re: [Hs-Generics] Support for abstract data types

Hi Alexey

Could you please forward my replies to generics@haskell.org? I still can't post and stil haven't got a reply from the administrator :-(

One minor addition:

...

toQueue (Inl (e :*: q)) = e `prependToQueue` q toQueue (Inr ()) = emptyQueue

What is `prependToQueue'? It is not a queue operation given by a queue interface. I take it is actually "enqueue . reverse". If this is the case, what you propose looks impractical.