contravariant -> 0.4.1