https://9lib.net/document/qmjvr8g5-relating-staged-computation-to-the-record-calculus.html