Связанный пост:Как устранить неоднозначность функции селектора?

https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields

Однако мы не определяем тип аргумента, чтобы определить тип данных, или не имеем никакого способа отложить выбор до решателя ограничений.

Это на самом деле раздражает, что эта функция не реализована. Я попытался найти несколько источников, но не смог найти причину, по которой они решили не выводить типы.

Кто-нибудь знает веские причины для этого? Это из-за ограничения существующей системы типов?