Generate a list containing all values of a finite type - View it on GitHub