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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
