# Tutorial on GADTs

**URL:** <https://discuss.ocaml.org/t/tutorial-on-gadts/14040>\
**Category:** Learning\
**Tags:** gadt, tutorial, blog\
**Created:** [February 8, 2024, 7:57pm UTC](https://discuss.ocaml.org/t/tutorial-on-gadts/14040 "2024-02-08T19:57:24Z")\
**Posts on this page:** 1\
**Showing post:** 33

<div class="post-metadata">

**Author:** ![raphael-proust](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/raphael-proust/32/415_2.png) [@raphael-proust](https://discuss.ocaml.org/u/raphael-proust)\
**Post date:** [October 1, 2026, 12:18pm UTC](https://discuss.ocaml.org/t/tutorial-on-gadts/14040/33 "2026-10-01T12:18:00Z")

</div>

I’ve written a supplement to the tutorial:

> **[Dromedary and a half - GADT: what about phantom types](https://raphael-proust.gitlab.io/code/gadt-what-about-phantom-types.html)**

It compares GADTs and Phantom Types. It includes a (compulsory?) mention of Tyxml in discussion of Phantom Types. If anyone has other good examples to share I might add them.

---

_[View the full topic](https://discuss.ocaml.org/t/tutorial-on-gadts/14040)._