Data.TypeNat.Fin
data
Fin
ix1
ix2
ix3
ix4
ix5
ix6
ix7
ix8
ix9
ix10
safeIndex