<html><body><div style="color:#000; background-color:#fff; font-family:arial, helvetica, sans-serif;font-size:10pt"><div>Why not use `as` instead of `\:`? After all, the use of `\:` is to state the type of an ambiguous term when using it, so what `\x -> x \: A -> A` means is that we're using `\x -> x` AS a function of type `A -> A`. So you could just write `\x -> x as A -> A`. This is </div><div></div><div><br></div><div>- darryl</div> </div></body></html>