3 ms·I guess you could just call F[_] a monoid in the category of endofunctors of F[_]...by harveywi 10y agoI guess you could just call F[_] a monoid in the category of endofunctors of F[_]...