Lazy_caterer's_sequence loading ...