Changed `Producer'` type synonym to restrict downstream input