mLite

A lightweight (and slightly odd) inhabitant of the ML universe that is much like ML, but with dynamic typing, guards, and a Haskell-style apply operator.