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