Type Families Make Life and Free Monads Simpler
wyrdartsinitiatives
After watching Ollie Charles’ talk on Strongly Typed Publish/Subscribe over Websocks via Singleton Types, I felt very inspired to try some type-level programming in Haskell. Along the way I stumbled across a really handy design pattern I thought I would share. Recently I’ve been working with...