úÎ!^ôSafe,-./1456=>?@ADHLV_fhÐ universalLaws: f =  ( f) .   (universal-0.0.1.0-ALtxgpAoK8NGkx2jSWWjknData.Universal UniversalElementmorphism universal $fUniversal()TYPEConst2->()Const'category-0.2.5.0-DZeqqqTddFK5BPhXFivXXvControl.Categorical.FunctorFunctorbaseData.Functor.ConstgetConst