If we add only Nothing lower type, then we can infer type parameter next time, this time it was uninformative #SCL-5736 Fixed