[Haskell-cafe] Dependent types

[Mitar]

Hi!

On Fri, Sep 10, 2010 at 9:22 AM, Stephen Tetley
<stephen.tetley at gmail.com> wrote:
> This issue pops up quite quite often - Ryan Ingram's answer to it the
> last time it was on the Cafe points to the relevant Trac issue
> numbers:

But I have not yet made it as GADTs. I would need some help here. How
to change MaybePacket to GADTs?


Mitar