Indexed monads linear types and stuff (inspired by Qimaera) some Idris and Haskell bits
Primary LanguageIdrisOtherNOASSERTION