Jordan Barron-Bird
Results
1
comments of
Jordan Barron-Bird
Thanks, quick reply! Are you open to one of those functions changing, then? At least in principle? I'm also curious what your reason for preferring `'a t -> ('a ->...