Correct, that's a GADT (generic abstract data type).
You may go to the next section.
You may also:
Go back to the question
Go up to the outline of lesson 11
David A. Wheeler (dwheeler@ida.org)