A statically-typed object-oriented and functional programming language based on classes and traits-based mixin composition from the object side, and higher-order functions, local type inference, and pattern-matching from the functional side. It is notable in that all values are objects, all functions are values (and objects), and everything is extensible via subclassing. It generally is aimed at proving that web services can be better served by safe language support rather than ad hoc conglomeration of standards within languages not suited for the purpose (mainly Java and C#, coupled with Xquery, XSLT). It also boasts the ability to handle regular expressions and sequence comprehensions easily to support this, and safe interoperability with the JVM and .NET / C#.