module Control.Functor.Polyvariant.Bicontravariant (Bicontravariant (..)) where class Bicontravariant t where {-# MINIMAL bicontramap #-} bicontramap :: (b -> a) -> (d -> c) -> t a c -> t b d