Typefuckery (noun)

The practice of abusing or overengineering a programming language's type system to achieve something unnecessarily complex, cursed, or borderline unreadable. Just to prove it can be done.