instance Monoidal Dict