No GADTs necessary
Merge pull request #128 from xenog/path-derivation

No GADTs necessary