타입을 모르는 새끼가 인자로 들어왔다?


그리고 그걸 사용한다???



이거 자체가 안전한 언어에서 있을수 없는 일이고



그 말은


하스켈은 리플렉션 기능이 아예 필요가 없을수도 있다



생각해보면 하스켈은 리턴타입에 대한 다형성이 존재하니까


리턴타입을 명시한 순간, 알아서 그에 맞도록 임플을 찾아서 구현하니까...



아 모르겠다 걍 이거 직접 써봐야돼. 뇌피셜해도 의미가 없다