pandora-0.1.2: A box of patterns and paradigms
Pandora.Paradigm.Structure.Property
module Pandora.Paradigm.Structure.Property.Hollow
module Pandora.Paradigm.Structure.Property.Nonempty