⇒List : ∀ {n} → FinSet n → List (Fin n)
build a list with elements collected from a subset