[%] 하스켈로 만들었던 프로그램 설계가 되게 더러운게 있었는데

[다믜(damhiya)]

phatom type, existential type, type family 이거 다 쓰면 엄청 깔끔하게 나올 각이 보이네

배우고 나니까 보이는것도 달라지네. 빨리 수정해봐야겠다