As lentes fisheye mais baratas geralmente são escuras, e se for procurar pelas rokinon e semelhantes, elas geralmente não tem AF. E para piorar, as opções para FF não são taaaantas assim.
Quando tive a mesma dúvida que você pesquisei muito, e acabei com duas opções: a EF 8-15mm F4 que achei muito cara e escura para o meu uso, e não gostei do ciírculo crop na FF... Acabou que fui de EF 15mm F2.8, comprei somente para usar provisoriamente em algumas ocasiões, mas é uma lente tão diferente e divertida que não sei se vou mais vender
Não sei quando está pretendendo gastar, mas já vi preços girando desde R$ 1400 a R$ 3000.
Abs