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