tests: Implement first part of the kleisli test