하스켈 타입클래스는 정적으로 구현한 다형성 맞냐?

[익명(211.246)]

컴파일 타임에 구체적 타입으로 처리되냐?

[익명(211.109)]

익스텐션 안 켜놓은 상태에서는 하스켈에 동적 디스패치 자체가 없다고 들었음

[다믜(damhiya)]

하스켈은 컴파일할때 타입정보 싹 다 지움

[다믜(damhiya)]

아마 Typeable 만 예외일꺼임