Understanding Servant's type-level DSL Code examples for a blog post / talk on Servant's type level domain specific language. Running You'll need nix and recent version of cabal-install. $ nix-shell -A env --run 'cabal new-run'