Made the try and lap combinators more composable

Now work with Kleisli arrows instead of applying processors