type systems Structural Typing for Structured Products 8 October 2014 Slides and some example code for the Haskell Exchange 2014 talk.
