{-# OPTIONS --without-K --safe #-}
module Categories.NaturalTransformation where

-- all the important stuff about NaturalTransformation are defined in .Core

open import Categories.NaturalTransformation.Core public