lue-bird/elm-emptiness-typed (elm): one type for emptiable and safe non-empty
Keywords: elm|focus|non-empty|pivot|scroll|select-list|type-safety|ziplist