test :: Bool -> Bool
test b = True && _