enumerate-0.2.2: enumerate all the values in a finite type (automatically)