comment explaining the show instance for (:.)