cancel opening Function._∘_, since it clashes with the symbol of DFA concatenation