D.Trail: Parametric and EndValues instances for GetSegments on loops and tails