Modular explicits in the standard library

Now that modular explicits are coming out, do you think we’ll start seeing them in the standard library, perhaps in the following release? Or (perhaps more likely) in the Jane Street libraries?