Questions about modelling

[simonh1000]

1. You have, for example,

get : Maybe Operation

where an Operation has a responses field which has space for responses for push, delete etc. Surely there is at most only 1 response for a get?

2. your Operation parameters looks to be taking just a single parameter, and not a list of parameters as I see in the petshop example

3. it looks as though you may also have an impossible state in Parameter. I think ParameterBody only makes sense for a ParameterIn of Body. I think you need something like:

type ParameterIn
    = Query
    | Header_
    | Path
    | FormData
    | BodySchema Schema
    | BodyOthers ParameterBodyOthersBody