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