Non-empty containers

[purefunctor]

trafficstars

This is an awesome library for porting over functional-oriented algorithms :smile:

I think non-empty containers would be a good addition, as they allow certain algorithms to encode invariants at the type level that are currently runtime panics.