úÎ       None(*+234=HJKM(finLast :: Fin Int 5)Fin 4,(natToFin (Proxy :: Proxy 10) :: Fin Int 11)Fin 10(toFin 0 :: Maybe (Fin Int 4)) Just (Fin 0)(toFin 4 :: Maybe (Fin Int 4))Nothing(unsafeToFin 10 :: Fin Int 5)Fin 10 fromFin (finZ :: Fin Int 10)0fromFin (finLast :: Fin Int 10)9 -shift (Proxy :: Proxy 1) (finZ :: Fin Int 20)Fin 0A(shift (Proxy :: Proxy 10) (finLast :: Fin Int 10) :: Fin Int 20)Fin 9          data-fin-simple-0.1.0.0Data.FinFinfinZfinSfinLastabsurdnatToFintoFin unsafeToFinfromFinweakenweakenN strengthenshiftfinAddfinAddNfinSubfinSubNfinMult