Title: A module system with applicative functors and recursive path references