[Haskell-cafe] Refactoring status

[Peter Verswyvelen]

>> Nice. Still using "first parameter" though ;-)

> This was the problem I mentioned earlier.
> I tend to write comments like
> {- | @asTypeOf x y@  returns the value of @x@, while the types of @x@ and
@y@ are unified   -}
> asTypeOf :: a -> a -> a
> This way I can introduce parameter names for the reader.

Ah, okay, I get it now. Sorry, I did not get much sleep yesterday ;-)