일단 타입 읽는 건 해결했는데, type constraint 디슈가하는 게 내 머리로 안 됨.