シーケンスの定義におけるリターンのアプリケーションはどれくらい柔軟性がありますか？

Question

sequence :: (Monad m) => [m a] -> m [a] 
sequence []  = return [] 
sequence (x:xs) = x >>= \v -> sequence xs >>= \vs -> return (v:vs) 

私が質問のカップルを持っている：

1. mはMonadです。しかし、リストに「異なる種類」のモナドが含まれている場合、つまりタイプMonadのコンストラクターの値が異なる場合はどうなりますか？

2. returnと呼ぶことができますか？少なくとも2つの可能性があるため、私は理解しません。[]と一致する場合はreturn、空でないリストと照合した場合はreturnです。

Answer 1

1. リストのすべての要素は同じ型を持っている必要がありますので、それらは同じモナドmのためのすべてのタイプm aです。
2. 希望のタイプはm [a]なので、mのreturnが使用されます。リストモナドのreturnが使用された場合、return []のタイプは[[]]となります。これは宣言された結果ではなく、2番目のケースのタイプとも一致しません。

Answer 2

mは、任意の具体的なモナドすることができますが、それが具体的なモナドに特化したいたら、すべての出現は、その具体的な型になります。したがって、[m a]がある場合、リストのすべての値は同じコンクリートモナドに特化する必要があります。したがって、あなたの質問は本当に意味をなさない。