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

[Richard Uhtenwoldt]

Jonathan S. Shapiro writes:
>                            Consider something like:
>
>  (deftypeclass (Eql 'a)
>    == : (fn ('a 'a) 'a))
                      ^^

I take it you meant "bool" here.