Almost always universe is a non-empty list. And sometimes you need NonEmpty list. So it would be nice to implement such a helper function. I imagine the following type:

universeNonEmpty :: (Bounded a, Enum a) => NonEmpty a