test :: Bool -> Bool -> Bool
test a b
  | a = _