セカイノカタチ

Haskellの記事です。Applicativeを勉強していて、このブログを読んだ。Applicative勉強中 2008年の記事なんで、何周周回遅れだよ。(´・ω・`) とかは、置いといて、記事中に、こんなコード。 ap :: (Monad m) => m (a -> b) -> m a -> m b ap = liftM2 id liftM2 :: (Monad m) => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r l…