例えば、
f :: Monad m => Int -> m () g :: Monad m => Int -> m Bool
の時に、
h n = do f n g n
をポイントフリーにするには、
h = runKleisli (Kleisli f &&& Kleisli g)
とすることができます。