Guaranteed non empty arrays for Purescript