Documentation for class contexts in data-constructor declarations