typedef for substituters