
2 May
2006
2 May
'06
12:01 a.m.
On Sat, Apr 29, 2006 at 07:13:28PM -0400, Manuel M T Chakravarty wrote:
1. You are using non-standard instances with contexts containing non-variable predicates. (I am not disputing the potential merit of these, but we don't know whether they apply to Haskell' at this point.)
However they are under consideration for Haskell', so it would be worth knowing whether they would create future problems for ATs.