Servant is a well-known library in the Haskell ecosystem to develop REST services. Mu is much newer, and tries to fill the gap of gRPC and GraphQL services. Both libraries have in common their use of type level techniques to describe the structure of the services. This talk dives into that design corner, and explores the different decisions taken by both teams.