data NonEmpty a = (a |: [a])
잘못본건가