CTRex

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