Type error: error: MustCombineRecord --> :1:1 | 1 | {=} ⫽ True | ^^^^^^^^^^ MustCombineRecord |