Operating systemの働きをmonadで記述したのがあったと思う。
Prologで書いたOS、荘園ってのもあったはず。ICOT!