[MLton] -stop tc -warn-match false bug

[Matthew Fluet]

> I narrowed it down to the use of a constructor in a pattern, when the
> constructor is yielded by a pattern.

... yielded by a functor.