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