Generated paths are not ordered correctly?

[Juneezee]

Using the TodoAPI from Todo.hs,

type TodoAPI
    = "todo" :> Get '[JSON] [Todo]
 :<|> "todo" :> ReqBody '[JSON] Todo :> Post '[JSON] TodoId
 :<|> "todo" :> Capture "id" TodoId :> Get '[JSON] Todo
 :<|> "todo" :> Capture "id" TodoId :> ReqBody '[JSON] Todo :> Put '[JSON] TodoId

Expected

The generated JSON paths follows the ordering of TodoAPI: GET /todo is generated before POST /todo, and /todo is generated before /todo/{id}

    "paths": {
        "/todo": {
            "get": {
               
            }
            "post": {
                
            },
        }
        "/todo/{id}": {
            "get": {
             
            },
            "put": {

            }
        },
    },

Actual

The generated paths is ordered differently from the TodoAPI definition

    "paths": {
        "/todo/{id}": {
            "get": {
             
            },
            "put": {

            }
        },
        "/todo": {
            "post": {
                
            },
            "get": {
               
            }
        }
    },