consider nothingType