Monomorphic optimization of Implicit types.