module Data.Fin (Fin (..), enum, inj₁, lift₁, fromFin, toFin, toFinMay) where

import Data.Fin.Private