Implementing an Idris Monad from "Scratch" I implemented the Idris Monad Interface by hand because I didn’t see a better way. September 19, 2019