Haskell has real world examples, for instance:

https://docs.servant.dev/en/stable/tutorial/ApiType.html