test :: Bool -> ()
test = _