On 3/12/08, Neil Mitchell <ndmitchell at gmail.com> 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 <taralx at gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown