답 댓글이 아니라, 질문 댓글입니다. 레코드 업데이트 하는 동안에 반드시 레코드 타입을 먼저 알아야 한다는 게 "정상"이라는 거지요?
bar :: T Int
-- bar = emptyT --- 허용
bar = emptyT { x = [3] } --- 레코드 업데이트 중에는 타입 specialize를 못하니 불가
@lionhairdino 
@bglbgl gwyng 어느 쪽이 더 "정상이다"가 아니라, GADTs의 Record 갱신을 지원하려면 필요한 변경입니다.
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01966054-4da1-7a78-85af-fd3ee708e437 on your instance and reply to it.
9.6 전에는 실수로 허용되던 것이란 말이 나와, 학문적 정 부 의 가치가 있는 줄 알았습니다. 
@ailrunAilrun (UTC-5/-4) @bglbgl gwyng