Choosing the Right Domain for a 'Minimum' Function in Functional Programming