Rebase.Contravariant.Extras