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