Functional programming language for the JVM with row types, algebraic effects, and embedded Datalog.