Categories of Structures in Haskell

1 · Edward Kmett · May 26, 2015, 1:32 a.m.
In the last couple posts I've used some 'free' constructions, and not remarked too much on how they arise. In this post, I'd like to explore them more. This is going to be something of a departure from the previous posts, though, since I'm not going to worry about thinking precisely about bottom/domains. This is [...]...