Type-level Strings, Type-level Lists, Type-level Operators, and Type Families in Servant
I recently wrote an article about Servant for work. It introduces type-level strings, type-level lists, type-level operators, and type-families. It talks about how Servant makes use of these things to do type-safe routing.
Here are the reddit comments.