Pandora.Pattern.Morphism
module Pandora.Pattern.Morphism.Straight
module Pandora.Pattern.Morphism.Flip
type family Opposite m where ... Source #
Equations