fix Kleisli monad instance type