A talk on GADTs
ADD Examples of things that can be done with GADTs

heads

tip
browse log

clone

read-only
https://hg.sr.ht/~mmatalka/gadts-talk
read/write
ssh://hg@hg.sr.ht/~mmatalka/gadts-talk