removed concealing for applicative operations and kleisli arrows