튜플에 Monad 인스턴스가없는 이유는 무엇입니까?

Question

내가 알아챈 한 가지는 Tuple에는 Monad 인스턴스가 없습니다. 이미 매우 크게 우리가 Monad 인스턴스가 될 수 있습니다 어떤 제한

instance Monoid a => Applicative ((,) a) 

:

튜플 그러나 Applicative 인스턴스가 않습니다.

instance Monoid a => Monad ((,) a) 

join :: Monad m => m (m a) -> m a 

join :: Monoid a => (a, (a, b)) -> (a, b) 

우리는 또한 모나드 법률 볼 수 있습니다 :

가입을 위해 우리가 얻을 것 유형 서명을 볼 수 있습니다

join $ f <$> pure x == f x 
join $ f <$> (mempty, x) == f x 
join (mempty, f x) == f x 
join (mempty, (a, b)) == (a, b) 

join $ pure <$> x = x 
join $ pure <$> (a, b) = (a, b) 
join (a, (mempty, b)) = (a, b) 

우리가 알고있는이 시점에서이 점에서 mempty 및 x을 결합 어느 쪽이든 경우 x이됩니다. 그리고 우리가 가지고있는 유일한 타입 정보는 x입니다. Monoid입니다. 그래서 기본적으로 두 구현은 다음과 같습니다

join (a, (b, x)) = (a <> b, x) 

과 :

join (a, (b, x)) = (b <> a, x) 

그리고 그 차종 ap 및 <*> 동일하지의 두 번째입니다.

그래서 지금 우리는 ((,) a)의 유일한 유효 Monad 인스턴스 인 것을 알고 :

instance Monoid a => Monad ((,) a) where 
    (a, c) >>= f = let (b, c') = f c in (a <> b, c') 

은 왜 현재의 경우가 아니다?

Answer 1

이 질문에 대한 답은 단지 ghc-8.0.1을 사용해야한다는 것입니다. Tuple은 Monad 인스턴스를 제공합니다. 이것을 지적 해 주신 @Michael에게 감사드립니다.