Vinyl
Extensible records for Haskell with lenses.
type level listを用いてrecordを表現する
github
hackage
Introduction
https://github.com/VinylRecords/Vinyl/blob/master/tests/Intro.lhs
https://github.com/lotz84/haskell/blob/master/docs/extensible-record.md#vinyl
https://www.slideshare.net/jonsterling/galois-tech-talk-vinyl-records-in-haskell-and-type-theory
https://www.slideshare.net/jonsterling/programming-in-vinyl-bayhac-2014