Data.Comp.Automata.Product

type e :< p