tests: KleisliTest is green