Put FlexibleInstances in PprLib alone
drwxr-xr-x - libraries