Haskell’s servant library needs only a modest introduction – it’s an attempt to stuff the description of an API into the type system.