1. Vinyl: Records in Haskell and Type Theory Jon Sterling jonmsterling.com August 12, 2014 2. Records in GHC 7.8 3. Records in GHC 7.8 Haskell records are nominally typed…