Show1 is:exact

Lifting of the Show class to unary type constructors.