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

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