[MLton] List comprehensions?

[Wesley W. Terpstra]

I've been trying out haskell lately, and one thing I really like is:  
list comprehensions!
However, what I extremely dislike is: lazy evaluation.

To get the one, is the other required?
ie: could a hypothetical SML2007 have this?

Speaking of which, my SML++ shopping list would also include:
   active patterns (see F#)
   whitespace layout (F#, python, haskell)
   type classes
but NOT: objects.

... in case anyone is listening. :-)