Update library to avoid using `Any` (also, replace fun-dep with type fam.)
drwxr-xr-x - libraries