[contravariant]

I mean we've had to cope with users for ages, this is not that different.