Metaprogramming for madmen https://fgiesen.wordpress.com/2012/04/08/metaprogramming-for-madmen/ (how .kkreiger used partial evaluation to get down to a 96K demo)