/dev-haskell/contravariant/