내가 <code>newtype</code> 다음 한

Question

모나드 변압기의 파생 인스턴스를 만들 수 없습니다 서면 그러나

• Can't make a derived instance of ‘MonadTrans Wrap’ 
    (even with cunning GeneralizedNewtypeDeriving): 
    cannot eta-reduce the representation type enough 
• In the newtype declaration for ‘Wrap’ 

을 MonadTrans의 간단한 인스턴스는 잘 작동합니다.

instance MonadTrans Wrap where 
    lift = Wrap 

이러한 오류 메시지의 이유는 무엇입니까?

Answer 1

GeneralizedNewtypeDeriving은 newtype에 대한 클래스 구현을위한 클래스의 기본 인스턴스를 사용합니다. 그러나이 경우에는 아무런 의미가 없습니다. 왜냐하면 m은 MonadTrans (예 : m :: * -> *이지만, MonadTrans은 (* -> *) -> * -> *을 상기합니다)의 인스턴스가 될 수있는 올바른 종류가 아니기 때문입니다.