Recursive types cannot be defined inline without making them anonymous, so we define them here instead.