簡単な場合だと、Posetがモナドになるよね。
そういう単純な例でじっくり考えるのも楽しいね。