DirPath covariant