Type System Hacking

You will use macros to generate elaborate type structures that perform computation at compile-time.