module Test20256 where

foo = do
  ; a <- doAsync
  ; b