On 3/12/08, Neil Mitchell <[EMAIL PROTECTED]> wrote: > However, I don't believe this expression is type safe in Haskell.
Using higher-order polymorphism:
f (x :: forall a. a -> a) = x x
--
Taral <[EMAIL PROTECTED]>
"Please let me know if there's any further trouble I can give you."
-- Unknown
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
