Choice instances can now be iterated over