Monoid r => Closed (Forget r)