ネットワークやデータベースなど外部入出力を実現するためにモナドと呼ばれる仕組みがある．