[[a]]を[a]に平坦化できることがリストのモナド則で、リストの線形性はモナドとは無関係