remove unnecessary functions from NonEmpty