CwC is very much what you want. The focus on lambda and record optimizations is because ML code is usually heavy with sum types (tagged unions), and it's often

CwC is very much what you want. The focus on lambda and record optimizations is because ML code is usually heavy with sum types (tagged unions), and it's often possible to completely unbox things at compile time.