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

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