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

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