Drop void
Drop contravariant