< `Some`: Natural >