FinMap.lemma-lookupM-fromFunc is almost Data.Vec.Properties.lookup∘tabulate