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

class Tricontravariant t where
        {-# MINIMAL tricontramap #-}
        tricontramap :: (b -> a) -> (d -> c) -> (f -> e) -> t a c e -> t b d f