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

class Quadcontravariant t where
        {-# MINIMAL quadcontramap #-}
        quadcontramap :: (b -> a) -> (d -> c) -> (f -> e) -> (h -> g) -> t a c e g -> t b d f h