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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe