I mean, a GAT is just a monoid in the category of endofunctors, after all.