replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate