module Control.Functor.Polyvariant.Bicontravariant (Bicontravariant (..)) where

class Bicontravariant t where
        {-# MINIMAL bicontramap #-}
        bicontramap :: (b -> a) -> (d -> c) -> t a c -> t b d