test :: Bool -> Bool
test b = id $ (case b of
   False -> _
   True -> _)