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

**URL:** <https://discuss.ocaml.org/t/does-using-object-types-in-gadts-get-you-any-more-power/14042>\
**Category:** Learning\
**Tags:** objects, type-system, gadt\
**Created:** [February 8, 2024, 10:24pm UTC](https://discuss.ocaml.org/t/does-using-object-types-in-gadts-get-you-any-more-power/14042 "2024-02-08T22:24:40Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![jbeckford](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/jbeckford/32/3027_2.png) [@jbeckford](https://discuss.ocaml.org/u/jbeckford)\
**Post date:** [February 8, 2024, 10:43pm UTC](https://discuss.ocaml.org/t/does-using-object-types-in-gadts-get-you-any-more-power/14042/2 "2024-02-08T22:43:38Z")

</div>

I found watching three minutes of [https://youtu.be/pO8Z4lcY0ys?si=AQ1xqRsqCmJ5iZ4e&t=470](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](https://discuss.ocaml.org/t/a-pattern-for-using-gadts-to-subset-cases/13675/2)

---

_[View the full topic](https://discuss.ocaml.org/t/does-using-object-types-in-gadts-get-you-any-more-power/14042)._