Data.Comp.Automata.Product
type
e
:<
p
pr