4 ms·How is this relevant to what elliekelly said?by dependenttypes 6y agoHow is this relevant to what elliekelly said?