Recursive type

Summary