The world of __auto_with Max_Brauni