[bitc-dev] deeply immutable functions and Haskell's ST

[Jonathan S. Shapiro]

On Thu, 2005-08-25 at 04:00 -0700, Richard Uhtenwoldt wrote:
> Jonathan S. Shapiro writes:
> >                            Consider something like:
> >
> >  (deftypeclass (Eql 'a)
> >    == : (fn ('a 'a) 'a))
>                       ^^
> 
> I take it you meant "bool" here.

Urk. Yes.