effectful multicategory

Last updated Mar 28, 2024