Seol mar théacs é seo: Natural Transformations and Data Refinement