shapeless: Reorder minimum example for listing