Data constructors and data users can cooperate : An illustrative case study