[Rover]

Reportedly not upcoming in Canon RF mount (like the 9mm... dang that sounds like a small arms caliber!) due to the strong color casts found with these lenses when used on RF bodies. Though I guess the adventurous folks may adapt the Leica M versions, color cast be damned.

Samyang XP Premium 10mm F/3.5, with Canon adapter.
At F/8 it is very, very sharp, the entire field, little to no distortion. Not cheap, and not small, but I'd recommend it highly.

Kind regards, Wim

Well, yeah, but these Laowas are not DSLR lenses so they're in a different class. Apparently much smaller, too.