#Monad :: f a b -> (a -> f b) -> f a -> f (a, b)
#という関数どこかに存在してたりしませんか(もしあれば、scalazで名前つけるのに参考にしたい、という理由)
#fのkindが合ってないように思います
#Monad f => (a -> f b) -> f a -> f (a, b) ですかね。僕は見たことないですが。
#あ、そうですね、シグネチャはそれです
#https://twitter.com/haskelljp_so そういえば日本語スタックオーバーフローのHaskellのtwitter bot作っておきました (正確には、諸般の事情により古いアカウント再利用したけど) 
haskell-ja > Archives > 2015/02/10