3 ms·

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

• kibwen 4y ago
  GATs don't actually let you go full monad, so not quite. :P