exactlyOne
FSIterable