[MLton] Type error: variable applied to wrong number of type args

[Stephen Weeks]

> It seems to be related to flex-type resolution; 

Right on.  Here's a shorter example that shows the problem.

fun g {...} = ()
and h {a} = ()
fun f v = (g v; h v)