1 {-# LANGUAGE RankNTypes #-}

3 -- The interesting thing about this one is that

4 -- there's an unbound type variable of kind *->*

5 -- that the typechecker should default to some

6 -- arbitrary type.

7 --

8 -- GHC 5.02 could only really deal with such things

9 -- of kind *, but 5.03 extended that to *->..->*

10 -- Still not complete, but a lot better.

15 f x y = x y