1 2 3 4 5 6
Type error: error: WithMustBeRecord --> <current file>:1:1 | 1 | 5 with a = 10 | ^^^^^^^^^^^^^ WithMustBeRecord |