reg035b.idr:8:6:Can't convert
        Additive -> Nat
with
        Fin 0