• @0laura
    link
    176 months ago

    a monad is a monoid in the category of endofunctors