Próbowałem użyć aktualizacji rekordu dla rekordu egzystencjalnego, gdy wystąpił błąd. Szybki google doprowadził mnie do feature request #2595, który pokazuje go jako zaimplementowany dla GHC w wersji
Używając typów egzystencjalnych, musimy użyć składni dopasowywania do wzorca, aby wyodrębnić wartość ed forall. Nie możemy używać zwykłych selektorów rekordów jako funkcji. GHC zgłasza błąd i sugerują