Removes redundant dependency on Data.Vec.N-ary noted under #1880
NB. possible downstream refactoring:
why is Fin[m^n]↔Fin[m]^n defined directly in Data.Vec.Recursive, rather than in terms of toVec/fromVec and Data.Fin.Base.finToFun and Data.Fin.Base.funToFin?
no CHANGELOG required
Suggest first-to-approve also merge this: nothing to see here!
Removes redundant dependency on
Data.Vec.N-arynoted under #1880NB. possible downstream refactoring:
Fin[m^n]↔Fin[m]^ndefined directly inData.Vec.Recursive, rather than in terms oftoVec/fromVecandData.Fin.Base.finToFunandData.Fin.Base.funToFin?CHANGELOGrequiredSuggest first-to-approve also merge this: nothing to see here!