best-oil-18906
04/08/2024, 9:04 AMgentle-tomato-480
04/08/2024, 9:15 AMa?best-oil-18906
04/08/2024, 9:16 AMgentle-tomato-480
04/08/2024, 9:25 AM[ A_obj.a for A_obj in A_list] should get you your list of `a`s, right?gentle-tomato-480
04/08/2024, 9:25 AMA_list is some List[A]best-oil-18906
04/08/2024, 11:04 AMgentle-tomato-480
04/08/2024, 11:13 AM