module ADP.Fusion.Term.Epsilon.ForestAlign.PermuteRightLinear where