Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and (in the future) static generic function.