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