Does using object types in GADTs get you any more power?

Learning
, ,
2

I found watching three minutes of https://youtu.be/pO8Z4lcY0ys?si=AQ1xqRsqCmJ5iZ4e&t=470 helpful (7:50 to approximately 11:00). That video link came from A pattern for using GADTs to subset cases - #2 by octachron