Type error: error: MustCombineRecord