Better errors when value types don't match?

[neongreen]

> Rec (#a := 3, #b := True) :: Rec '["a" := Int, "b" := String]

<interactive>:1:1: error:
    • Couldn't match type ‘Bool’ with ‘[Char]’
        arising from a use of ‘Rec’
    • In the expression:
          Rec (#a := 3, #b := True) :: Rec '["a" := Int, "b" := String]
      In an equation for ‘it’:
          it = Rec (#a := 3, #b := True) :: Rec '["a" := Int, "b" := String]

Is it possible to provide the key in the error message as well?

[effectfully]

Is this resolved now?

[neongreen]

I haven't implemented it yet