ReQuetzal is an experimental ML style language with row polymorphism, and first class modules. It is currently in early development.