This kind of language sounds intimidating if you aren't familiar with it, but it's actually not that complicated. The documentation states the universal propert

This kind of language sounds intimidating if you aren't familiar with it, but it's actually not that complicated. The documentation states the universal property of the cofree comonad for a functor. You don't need a degree in math to understand it - the bits of category theory that most Haskellers use are very basic.