test :: Show a => a -> (String -> b) -> b test a f = f (show a)