■ [Haskell] Kleisliと&&&

例えば、

f :: Monad m => Int -> m ()
g :: Monad m => Int -> m Bool

の時に、

h n = do
  f n
  g n

をポイントフリーにするには、

h = runKleisli (Kleisli f &&& Kleisli g)

とすることができます。