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

class Provariant t where
        {-# MINIMAL promap #-}
        promap :: (a -> b) -> (c -> d) -> t b c -> t a d