{-# OPTIONS --without-K --safe #-} module Categories.NaturalTransformation where -- all the important stuff about NaturalTransformation are defined in .Core open import Categories.NaturalTransformation.Core public