Hacking with types