module PatFail004 where

f (if c then a else b) = _