답 댓글이 아니라, 질문 댓글입니다. 레코드 업데이트 하는 동안에 반드시 레코드 타입을 먼저 알아야 한다는 게 "정상"이라는 거지요?
bar :: T Int
-- bar = emptyT --- 허용
bar = emptyT { x = [3] } --- 레코드 업데이트 중에는 타입 specialize를 못하니 불가
@lionhairdino 타입 패밀리 정의를 포함할때라고 되어있네요.
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/0196603a-a348-7fe4-8e1b-129064d1a42a on your instance and reply to it.