Using GADTs for derivation paths