(thanks to RootedProducts being exactly the right ...
# general
w
(thanks to RootedProducts being exactly the right abstraction to represent jars!)