for_hs.scala

// scala
for ( p <- e1 ) yield e2
// translation
e1 map { case p => e2 }
// haskell
(\p -> e2) <$> e1 // i.e. "fmap (\p -> e2) e1"
// aka
do p <- e1
   e2

// scala
for ( p <- e1 ) e2
// translation
e1 foreach { case p => e2 }
// haskell
(\p -> e2) <$> e1 // but has side-effect, and result is discarded

// scala
for ( p1 <- e1; p2 <- e2; ...) yield e
// translation
e1 flatMap { case p1 => for ( p2 <- e2; ...) yield e }
// haskell
e1 >>= \p1 -> "for ( p2 <- e2; ...) yield e" // should expand, of course
// aka
do p1 <- e1
   p2 <- e2
   ...
   e