a23ca9c8-5f66-4d42-894c-e36d29e95d27 122 B

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