Comment by fithisux

This is intriguing?

What is the proposal her?

It can be implemented in Haskell with less code?

I am not an SML guy, mostly an Algol type guy.

Is there a way to do the same in some other Algol type language?