Add WrappedCovariant.