Monad
/mrsekut-p/圏論とプログラミング#5e92f81e1982700000a28bc1