[LAA] monoidea's monothek - project announcement