Generating types without climbing a tree