# monoidal-plugins

A monoidal interface for aggregating GHC plugins