Coalton is an efficient, statically typed functional programming language (github.com)

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