-- Here we definition the notion of kleisli-triple and prove that it is equivalent to a monad
record Kleisli