Just the fact that somebody is talking about "implementing" it implies there's further complication than defining a recursive type.

People in general do not communicate on the cleanest ambiguosity-free way;