add patched contravariant 0.4.1