{-# LANGUAGE BlockArguments #-}
module BlockArguments where

foo = when (x > 0) do
  print x
  exitFailure

bar = withForeignPtr fptr \ptr -> c_memcpy buf ptr size

baz arg1 arg2 arg3 arg4 = initialValue
  &   someFunction arg1 arg2
  >>= traverse \(x, y) -> do
        a <- f x
        b <- g y
        h a b
  >>= anotherFunction arg3 arg4