Codata/Data with Type Classes and Tagless Final Style
Lately I have been playing with tagless final style, a way of writing data structures in Haskell whic...
Tags: haskell