모나드 타입에 따라 다르게 작용하는 하스켈 함수

Question

보통 모나드에리스트의 첫 번째 원소를 넣는 함수를 구현하려하지만 모나드가리스트라면 전체리스트를 반환합니다 :

Just 1을 반환해야

putInMonad :: MonadPlus m => [a] -> m a 
putInMonad (s:sx) = return s 
putInMonad _ = mzero 

putInMonad [1,2,3] :: Maybe Int 

및

putInMonad [1,2,3] :: [] Int 

는 [1,2,3]를 반환해야합니다.

아이디어가 있으십니까?

Answer 1

, 당신은 msum을 활용할 수 있습니다 :

putInMonad :: MonadPlus m => [a] -> m a 
putInMonad x = msum $ map return x 

을 다음 두 예제가 작동합니다 Maybe이 mplus 때문에, 정확히 MonadPlus하지 않습니다 그러나 것을

% putInMonad [1,2,3,4] :: Maybe Int 
Just 1 
% putInMonad [1,2,3,4] :: [Int] 
[1,2,3,4] 

주 연관성이 없습니다.

Answer 2

일반적으로 함수가 호출 될 때 Foo 인스턴스를 사용할 것인지 여부를 알 수 없으므로이 작업을 수행 할 수 없습니다. 즉, return s 또는 return (s:sx)을 반환하기로 결정할 근거가 없음을 의미합니다.

Foo이 MonadPlus 일 때이 특별한 경우가 있습니다 (@marc's answer 참조). 특정 사용 케이스에