path: root/testsuite/tests/typecheck/should_compile/tc004.hs

module ShouldSucceed where

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