[DoomHotel]

Using the type system to implement a Natural Numbers Object[1] is pretty clever. Doing math with it is not exactly efficient, but it does prove it works.

[1] https://en.wikipedia.org/wiki/Natural_numbers_object