Open records for Haskell using closed type families and type literals
A detailed write-up on the design and usage can be found at: https://wiki.haskell.org/CTRex
See Documentation at: https://hackage.haskell.org/package/CTRex/docs/Data-OpenRecords.html
See Examples.hs for an example