pandora-0.1.2: A box of patterns and paradigms
Pandora.Paradigm.Structure.Property.Nonempty
type family Nonempty structure a :: * where ... Source #
Type synonymous for at least one element data structure
Equations