generated at
ArrowLoop型クラス
from Arrow型クラス
ArrowLoop型クラス
https://qiita.com/Lugendre/items/6b4a8c8a9c85fcdcb292#フィードバックarrowloop
https://mzsms.hatenadiary.org/entry/20091119/1258657366
https://www.nicovideo.jp/watch/sm5103132
『関数プログラミングの楽しみ』 10章