A Haskell library for open records and variants using closed type families and type literals - View it on GitHub