test :: Bool -> ()
test _ = ()