A Modern, Practical, and Impure Functional Programming Language