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

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