[Haskell-cafe] Transforming a ADT to a GADT

[Sean Leather]

On Fri, Sep 14, 2012 at 2:27 PM, Erik Hesselink wrote:

> I don't think this is safe. What will happen if you evaluate
>   typecheck (Lit 1) :: Maybe (Term Bool)
>

Indeed! Silly me. Caught by the lure again. Thanks.

Regards,
Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120914/5d696784/attachment.htm>