However, what Paco left out of his kit is a true ultra wide lens. Perhaps the Laowa 9mm will fit the bill?
It has a massive 135 degr. angle of view on FX, which is way too much although pretty similar to the human eye if I recall properly. The lens design delivers very sharp images and geometric distortion, given the huge angle of view, is surprisingly modest. In the image below, there is no correction of curved lines.
The Laowa succeeds because it makes little attempt of correcting low light fall-off towards the periphy. OK or some scenes, whilst an issue elsewhere.