답 댓글이 아니라, 질문 댓글입니다. 레코드 업데이트 하는 동안에 반드시 레코드 타입을 먼저 알아야 한다는 게 "정상"이라는 거지요?
bar :: T Int
-- bar = emptyT --- 허용
bar = emptyT { x = [3] } --- 레코드 업데이트 중에는 타입 specialize를 못하니 불가If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/0196601e-f4b0-73c8-b41e-192e94982747 on your instance and quote it. (Note that quoting is not supported in Mastodon.)