This module exports the templates for automatic instance deriving of Transformation.Shallow type classes. The most common way to use it would be

import qualified Transformation.Shallow.TH
data MyDataType f' f = ...
$(Transformation.Shallow.TH.deriveFunctor ''MyDataType)