dhall-path
let Path/Relative = ./Typelet Typ = ../Typin λ(type : Typ) → λ(path : Path/Relative type) → path ⫽ { parents = path.parents + 1 }