>>101
僕の誤解でなければ、[a]の値をaを0個か1個持つものだけに制限すると、
理論的(代数的)にはMaybe aとまったく同じもので、
それはMonadoクラスとしての働きもまったく同じはず。