I haven't thought it through clearly yet, but I would have expected the instance to look something like:

    instance Sequence seq => NonNull (NotEmpty seq)