Draft: Remove unnecessary irrefutable patterns from NonEmpty functions

This is a proposed implementation of https://github.com/haskell/core-libraries-committee/issues/107.