通常、リストの最初の要素をモナドに入れる関数を実装しようとしていますが、モナドがリストであればリスト全体を返します：モナドの型によって異なる動作をするHaskell関数
putInMonad :: MonadPlus m => [a] -> m a
putInMonad (s:sx) = return s
putInMonad _ = mzero
putInMonad [1,2,3] :: Maybe Int
Just 1を返す必要があります、と
putInMonad [1,2,3] :: [] Int
は[1,2,3]を返す必要があります。
アイデア？関数がFooインスタンスは関数が呼び出されたときに使用されるかを知ることができないので
% putInMonad [1,2,3,4] :: Maybe Int
Just 1
% putInMonad [1,2,3,4] :: [Int]
[1,2,3,4]
注しかしMaybeがmplusいるので、正確にMonadPlusではないこと連想ではありません。
'MonadPlus'に関する不安や論争は、' MonadPlus'制約がOPに対して厳しい要件でない場合、 'Alternative'と' asum'に切り替えることで回避できます。 – duplode
は一般的に、あなたはそれがreturn sまたはreturn (s:sx)を返すように決定するための根拠を持っていないことを意味、これを行うことはできません。
FooがMonadPlusの場合、この特定のケースでは、回避策があります（@marc's answer参照）。
putInMonad :: MonadPlus m => [a] -> m a
putInMonad x = msum $ map return x
その後、両方の例は動作します：あなたの特定のユースケースでは、あなたがmsumの利点を取ることができる
下位モナドとして '[[]] Int'を使うことができます。 –
@WillemVanOnsemいいえ、式 'return s'に' sx'に関する情報が含まれていないためです。単に具体的な戻り値の型を指定してもそれは役に立ちません。 – chepner
@chepner：そう、私はそれがその特定のモナドに対して異なって振る舞いません。他の方法で問題を解決するというアイデアしかありませんでした。アイテムのリストではなくリストのリストを与えます。 –