Handle representation of recursive types