>>171
モナド則なんてなくても、Prologでは副作用と非決定性は同類に見えていた