I wonder how fast this compiles; other compilers which use extensive global analysis for optimization (like Stalin Scheme and MLton) are impractically slow.