継続ってなぜモナドにするの?
継続のどこが純粋関数らしくないの?