Describe how types and handlers are matched up

[jerbaroo]

From the README:

When serving the servant application, the types and handlers are automatically matched up according to their names

More detail on the matching process in the README would useful. So people know what behaviour to expect. For example what to expect in this scenario: ?

handler :: Server API
handler = fromNamed $
        Named @"a" := return [1, 2, 3]
  ::<|> Named @"b" := return [1, 2, 3]
  ::<|> Nil

type API = FromNamed (
        Named "c" := "user" :> Get '[JSON] [Int]
  ::<|> Named "d" := "user" :> Get '[JSON] [Int]
  ::<|> Nil )