monoid2: STS Unavailable

monoid2 defines the following Names, but STS signatures are not currently available.