So I should do pattern matching and throw a NoSuchElementException in case of None?