../ Monad/Purify Idris of "return"10 years ago Arrow.idrPurify Idris of "return"10 years ago Catchable.idrPurify Idris of "return"10 years ago Category.idrPurify Idris of "return"10 years ago IOExcept.idrChange export qualifier keywords11 years ago Isomorphism.idrAdded `Category Iso` in base10 years ago