module ShouldSucceed where

f x = case x of
       True -> True
       False -> x