명명 된 클래스 인스턴스

Question

클래스가 포함 된 함수 유형 헤더를 단순화하는 방법이 있습니까?

가 지금은

myfce :: Graph gr => Sometype -> gr Int String 

를 작성하고 MyGraph이 x이 Graph의 인스턴스 x Int String에 대한 타입 동의어 인 경우 내가

myfce :: Sometype -> MyGraph 

Answer 1

를 원하는 것입니다, 당신은이 작업을 수행 할 수 있습니다

data GraphType a b = ... 

instance Graph GraphType where ... 

type MyGraph = GraphType Int String 

그런 다음 myfce을 원하는 유형으로 지정하십시오.