Add Functor, Applicative, and Monad instances for Kleislimorphism
Add Functor, Applicative, and Monad instances for Kleislimorphism

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev