Polymorphic Record Types in a Limited Embedding by Stefan Zeiger