Added `pred′` to `Data.Fin`