Basement.NonEmpty

data NonEmpty a