This adds a definition to construct a singleton non-empty list (Data.List.NonEmpty) according to issue #17851.