I'm curious: did you see any benchmarks were the reversing of `constant' lists cost any thing? I'm particularly thinking of cases where, because of the reversal, MLton might not globalize some list.