ยง Reader monoid needs a hopf algebra?! [TODO ]