Formatter trait is allowed to parameterize its own output type