Coalton is an efficient, statically typed functional programming language

So this is just a macro? That is really amazing.