Megarecord This is currently just an experiment on how far you can go with the GHC type system. The result of all this is a revised proposal for builtin Row Polymorphism in GHC