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