Remove duplicate instance docstrings.
Define Show (Static l a) using standalone deriving.
Expose the Inject type class.
Implement @lmap :: (la -> lb) -> Static la a -> Static lb a@.
Export 'StringLabel'.