RecursiveDo
from
GHC拡張
RecursiveDo
https://kowainik.github.io/posts/arrows-zoo