There are a number of places where we use lists instead of non-empty lists. We should refactor to use NonEmpty instead of [] here to make the implementations safer.