wip/hs-contravariant
