Recursive_type loading ...