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

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