/posts/2018-02-18-idris-effects-in-pure-contextを開いてください。