test :: Show a => a -> (String -> b) -> b
test = _