id: a23ca9c8-5f66-4d42-894c-e36d29e95d27
url: http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt