Re: Adding more instances to Kleisli: Generic, Monad, etc