Typed servers using sop-core (Haskell Unfolder #51)

In this episode we consider how we can design a typed client/server interface for a simple API. We will use this as an introduction to some of the foundational concepts of the sop-core library, and we will discuss some ways of dealing with serialization in a more strongly typed setting. While does this require a bit of type level programming, hopefully by the end of this episode that won't look quite so intimidating anymore, and the benefit is not just better Haskell types, but also a better bits-on-the-wire communication protocol.