[Haskell-cafe] Distributing monadic(?) functions across dyadic functions