§ Reader monoid needs a hopf algebra?!

• 5.1, eg (iii)
• We actually get a free comonoid in a CCC.
• having a splittable random supply in like having a markov category with a comonoid in it.