Introductory example of GADTs for teaching purposes - View it on GitHub