Using GADTs for derivation paths
Merge pull request #127 from xenog/path-derivation

Using GADTs for derivation paths
No GADTs necessary