instance instIsPositiveOrderedAddMonoidLanguage {α : Type} : IsPositiveOrderedAddMonoid (Language α)

instance instOmegaContinuousNonUnitalSemiringLanguage {α : Type} : OmegaContinuousNonUnitalSemiring (Language α)

instance instLawfulKStarLanguage {α : Type} : LawfulKStar (Language α)