While it'd be nice for TYPE to be first,
that's not what the examples do so we leave the ordering
of HELP/TYPE unspecified.