case x of
  -- First
  x -> y

case x of
  -- First
  x -> y
>
  -- Second
  x -> y

case x of
  -- First
  x -> y
>
  -- Second
  x -> y
>
  -- Second
  x -> y

case x of
  -- First
  x -> y
>
  -- Second
  x -> y