[Haskell-cafe] Transforming a ADT to a GADT

Sean Leather leather at cs.uu.nl
Fri Sep 14 14:42:40 CEST 2012

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.

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

More information about the Haskell-Cafe mailing list