A curated list of advanced type level madness - View it on GitHub