There is a "proper" Olympus fisheye, of course, the M.Zuiko 8mm f/1.8 Pro lens, but that comes in at a shade under a thousand bucks rather than a shade under a hundred. And it's also huge ...