is(f@(g@h) = (f@g)@h); true is(f@(g@g)=(f@g)@g); false In the first, both sides come out as `@`(f,g,h) In the second, we get `@`(f,`@@`(g,2)) and `@`(f,g,g) which no longer match for "is"

Please Wait...