class A where f :: a -> aMain> :t f
f :: A => a -> a
might be an interesting feature, so I don't request to remove it, but thought I'd mention it here.
cheers, claus _______________________________________________ Hugs-Bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/hugs-bugs
