Guess return types and constructors sooner