Re: [Haskell-cafe] Transforming a ADT to a GADT

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