dual-0.1.1.0: Dual category
Data.Bifunctor.Flip
type Flip = Dual Source #
pattern Flip :: f a b -> Dual f b a Source #