Remove dependency on contravariant