Updated documentation
Generalized `Producer'` type synonym