That's quite cool! Do you think it would be possible to do something really quite crazy, like eta reduction like in Haskell?