Better errors when value types don't match?

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

: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?