HELP - Circularity

Hi,

I am trying to run this program (sorry about the brackets :)

(((fn z => (fn x => (((z x) x) x)) (fn y => (( two (fn x => (y(x
I))))five))) I) I)

where:
fun two f x = f(f x);
fun five f x = f(f(f(f(f x))));
fun I x = x;

I get this error:

operator and operand don't agree [circularity]
  operator domain: ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
                    -> ('Z -> 'Z) -> 'Z -> 'Z)
                   -> ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
                       -> ('Z -> 'Z) -> 'Z -> 'Z)
                      -> ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
                          -> ('Z -> 'Z) -> 'Z -> 'Z)
                         -> 'Y
  operand:         ((('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
                    -> ('Z -> 'Z) -> 'Z -> 'Z)
                   -> (('Z -> 'Z) -> ('Z -> 'Z) -> 'Z -> 'Z)
                      -> ('Z -> 'Z) -> 'Z -> 'Z
  in expression:
    (fn z => (fn <rule>) (fn <rule>)) I
-------------------------------------------------------
Thank you

-- 
View this message in context: http://www.nabble.com/HELP---Circularity-tp25680044p25680044.html
Sent from the SML/NJ mailing list archive at Nabble.com.


------------------------------------------------------------------------------
Come build with us! The BlackBerry&reg; Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay 
ahead of the curve. Join us from November 9&#45;12, 2009. Register now&#33;
http://p.sf.net/sfu/devconf