# Within

`Within` is a type for simply scoping well-typed paths. A `Within a t` is
just a `Path Rel t` inside a `Path a Dir`. This is useful for when you want
to keep track of a filepath within a parent folder and need the extra degree
of articulation.

Early release, subject to change.