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