module Control.Functor.Polyvariant.Provariant (Provariant (..)) where class Provariant t where {-# MINIMAL promap #-} promap :: (a -> b) -> (c -> d) -> t b c -> t a d