Servant

• Why is servant a type-level DSL?
• Type-Safe Microservices in Haskell with Servant
• Implementing a minimal version of haskell-servant - "...I thought it might be useful to develop and present the code of “TinyServant”, which is not exactly tiny, but still small compared to the full Servant code base, strips away a lot of duplication and unessential extras, but is still complete enough so that we can observe how Servant works"
• Servant tutorial
• http://www.well-typed.com/blog/2015/12/dependently-typed-servers/
• http://www.parsonsmatt.org/2018/03/14/servant_route_smooshing.html
• Servant AWS API Gateway - "This is currently a very rough cut and not usable for anything other than proof of concept."

See also

• Type level programming wiki page.