do P <- E ; REST...
は
E >>= \x -> case x of
  P -> do REST...
  _ -> fail "message"
の構文糖