2 ms·Do you have something specific in mind?by dependenttypes 6y agoDo you have something specific in mind?