What #haskell types/libs/papers should I look at for inspiration to write a system that is centred around `HTTP PATCH`?
That is, a system where multiple parties provide pieces of the information in no particular order. In particular I'd like to avoid littering `Maybe` all over my types.