construct recursive types correctly when they contain recursive types binding the same name
construct recursive types correctly when they contain recursive types binding the same name

Morgan-Stanley/hobbes,Morgan-Stanley/hobbes,Morgan-Stanley/hobbes,Morgan-Stanley/hobbes