Add examples of ADTs

This was the first question from Elm people (and I think it'll be shared by typed people in general)