現実の物には状態があるから

関数型言語も、どこかで状態と折り合いをつけないといけない。
モナドにヒントがあるのだろうか。モナドは理解できない。