meditans/CTRex

Open records for Haskell

CTRex

Open records for Haskell using closed type families and type literals

See Documentation at: http://homepages.cwi.nl/~ploeg/openrecdocs/Records.html