Ok, it looks like there really is something insane about mlprof. In my running of the kit, 16.51% of the time was spent in Chunk11360, and all of it (every single tick) was in MLTON_gc. Looking at the raw data in the gmon.out file shows that this clearly is NOT the case. I am investigating now.