MonadComprehensions
from GHC拡張
https://kowainik.github.io/posts/arrows-zoo#comprehension
Listモナド以外のMonadでもリスト内包表記を書ける