Type-level FizzBuzz Dec 19, 2018

When solving FizzBuzz is too mainstream, we try to solve it with type-level programming.