I believe that is one of the reasons ats compiles to C - you can write a library that makes use of the advanced compile-time type features, but which can then be distributed as C code