module PatFail005 where

f (do a; b; c) = _