kleisli: Invert kleisli transformation endpoints