You’re overthinking it. Just get a 20mm 60° TIR and try it. You’ll thank me later.
—
Right above. See MascB’s sigs, “TIR lenses: 1 / 2”.
Go crazy.