structural typing

Structural Typing for Structured Products

Slides and some example code for the Haskell Exchange talk.

under
                construction