Data.Comp.Multi.Strategy.Derive