Record types seem like a direct borrow from F#. They even keep the immutability and with-expressions.