From: "Pablo Nogueira" <pirelo@googlemail.com>

Date: November 10, 2006 12:46:27 GMT+01:00

To: "Alexey Rodriguez" <mrchebas@gmail.com>

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.