test :: Bool -> Bool
test = \b -> _