Haskell에서 제약 조건을 파라 메트릭 newtype에 연결하여이를 사용하는 모든 클래스 인스턴스에 자동으로 적용하는 방법은 무엇입니까?

다음과 같이 정의 된 매개 변수 유형이 있다고 가정합니다.

newtype FancyComplex a b = FancyComplex (a, b)

이 새로운 유형을 숫자 매개 변수 이외의 다른 매개 변수에 사용하지 않으려 고합니다. 나는 무엇이든 내가 할 수있는 구현을 위해, 나는 그 매개 변수를 알고 있다는 것을 의미 a하고 b항상의 인스턴스가 될 것입니다 Num.

이 질문에서 당신이 이것을 할 수 있다는 것을 읽었습니다 . typeclass 제약이 newtype 정의에서 사용될 수 있습니까?

{-# LANGUAGE RankNTypes #-}
newtype (Num a, Num b) => FancyComplex a b = FancyComplex (a, b)

그러나 이것은 충분하지 않습니다. 다음과 같은 클래스를 작성하면 :

class StupidClass x where add :: x -> x -> x

그럼 내가 쓸 수있을거야

instance StupidClass (FancyComplex a b) where
    add (FancyComplex (a, b)) (FancyComplex (a', b')) = FancyComplex (a+a', b+b')

그러나 GHC는 내가 Num요구 사항을 시행하지 않았다고 말하지 않습니다 . 그래서 매번 이렇게해야합니다.

instance (Num a, Num b) => StupidClass (FancyComplex a b) where
    add (FancyComplex (a, b)) (FancyComplex (a', b')) = FancyComplex (a+a', b+b')

newtype 정의에 제약 조건을 작성하는 것은 매번 명시 적으로 제약 조건을 작성하도록 강제하는 것입니다. 그래도 잊어 버린 경우에도 유용합니다. 그러나 물론 매번 제약 조건을 다시 작성할 필요는 없습니다.

newtype 정의에서 제약 조건을 자동으로 암시 적으로 상속하려면 어떻게해야합니까? 이것이 가능한가? 그렇지 않다면 그 이유가 있습니까?

현재 내 약한 해결 방법은 유형 별칭을 정의하는 것입니다. type FancyComplexReqs a b = (Num a, Num b)

감사