A total functional language embedded in Scala using macros.