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