Categorical organisation of the ornament–refinement framework - Ko, H; Gibbons, J (Submitted to POPL'14, 2013)