Correct, that's a GADT (generic abstract data type).

You may go to the next section.

You may also:

PREVIOUS Go back to the question

OUTLINE  Go up to the outline of lesson 11

David A. Wheeler (dwheeler@ida.org)