>>103
なるほど、数学的には リストモナドは Maybe モナドを含んでいること、
その観点で Maybe モナドはリストモナドの劣化版だと言ったのは理解した
同意する

ただ、ちょっと確認しておきたい

数学的には同じでも、実際問題としてプログラムソースの中で Maybe a を使ってた所を全て
劣化版を完全版にしようとして要素が0個か1個の [a] で置き換えたらまずいよな？

ソースを保守しにくくなるよな？

そういう観点では、リストと Maybe は優劣を比べるものではなく、
むしろ全く別の役割のものだよな？