initial commit: non empty arrays for Purescript