{-# LANGUAGE Arrows #-}

f = proc x -> do
  x <-
    case x of X -> x
      -<
        y
  a -< b