monoidal-setoid-categories 0.0.0
initial public release; may not typecheck with current agda