This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 1465 of 1,796·33. Inference Inversion PatternsPro lesson
Recursion in Type Definitions
Writing types that reference themselves to process structures of arbitrary depth.