!}      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkl m n o p q r s t u v w x y z { | None,-1;=>?@ADHMUV_h}~None,-1;=>?@ADHMUV_h mcategory where every morphism is isoLaws:  = f   f  =  f  f None,-1;=>?@ADHMUV_h 3None,-1;=>?@ADHMUV_h  categoryNotes:  ! '()' is the indiscrete category.  None,-1;=>?@ADHMSUVX_h categoryLaws:   =   (f  g) =  f   g 4None,-1;=>?@ADHMUV_h0101None,-1;=>?@ADHMUV_hX9:;<?>=@ABCFDEGHIJCFDEGH@AB<?>=IJ9:;G1H1I1J1None,-1;=>?@ADHMUV_hYZ[YZ[None,-1;=>?@ADHMSUVX_habcabc None,-1;=>?@ADHMUV_hlmnlmn    !"#$%&'()*+,-./01234567889:;<=>?@@ABCDEFFGHIJKLMNOPQRSTUVWXYZ[\]^^_`abcdeefghijklmn o o p q r s t u v w x y z { | } ~'category-0.2.4.2-KhTdzVKEIk08ZzALRCihiHControl.Category.GroupoidData.Morphism.EndoControl.Category.Const2Control.Categorical.FunctorData.Morphism.IsoControl.Categorical.MonadData.Functor.Trans.WriterData.Functor.Trans.ReaderData.Functor.Trans.IdentityPreludeGroupoidinvert$fGroupoidkDualEndoendo $fGroupEndo $fMonoidEndo$fSemigroupEndoConst2$fGroupoidkConst2$fCategorykConst2$fSemigroupConst2$fMonoidConst2 $fGroupConst2NTnt Endofunctor EndoFunctorFunctormap<$>$fFunctorαβDualDualf$fFunctorαTYPEs->s$fFunctorTYPETYPE->->Either$fFunctorTYPETYPE->->(,)$fFunctorαTYPEs->Proxy$fFunctorTYPETYPE->->Identity$fFunctorαTYPEs->Const$fFunctorkTYPEs->Product$fFunctorkTYPEs->Sum$fFunctorTYPETYPE->->f$fFunctorα->sDualf$fFunctorα->DualNTf$fFunctork->DualNTs$fFunctorTYPE->->NTEither$fFunctorTYPE->->NT(,)$fFunctorTYPE->->NTConst$fFunctor->->NTNTProduct$fFunctor->->NTNTProduct0$fFunctor->->NTNTSum$fFunctor->->NTNTSum0$fFunctor->->NTNTCompose$fFunctor->->NTNTCompose0$fGroupoid->NT$fCategory->NTIso$fFunctorαβIsoDualf$fFunctorαβIsotf$fGroupoidkIso$fCategorykIso $fGroupIso $fMonoidIso$fSemigroupIso Cokleisli cokleisliComonadcounitcutcobindKleislikleisliMonadunitjoinbind<=<>=>=<==>=$fMonadTYPE->m$fFunctorββKleislism$fFunctork->DualNTKleisli$fFunctorkTYPEs->Kleisli$fCategorykKleisli$fComonadTYPE->Arg$fComonadTYPE->(,)$fComonadTYPE->->$fComonadTYPE->NonEmpty$fComonadTYPE->Identity$fFunctorββCokleislisɯ$fFunctork->DualNTCokleisli$fFunctorkTYPEs->Cokleisli$fCategorykCokleisliWriterT runWriterT$fFunctor->->NTNTWriterT$fMonadTYPE->WriterT$fComonadTYPE->WriterT$fMonadTYPE->WriterT0$fFunctorkTYPEs->WriterTReaderT runReaderT$fFunctork->tNTReaderT$fComonad->NTReaderT$fMonad->NTReaderT$fFunctor->->NTNTReaderT$fComonadTYPE->ReaderT$fMonadTYPE->ReaderT$fFunctorkTYPEt->ReaderT$fFunctorkTYPEs->ReaderT IdentityT runIdentityT!$fFunctorkTYPEsCokleisliIdentityT$fFunctorkTYPEsKleisliIdentityT$fComonadTYPE->IdentityT$fMonadTYPE->IdentityT$fComonad->NTIdentityT$fComonad->NTIdentityT0$fMonad->NTIdentityT$fMonad->NTIdentityT0$fComonad->NTIdentityT1$fMonad->NTIdentityT1$fFunctor->->NTNTIdentityT$fFunctor->->NTNTIdentityT0$fFunctor->->NTNTIdentityT1$fFunctorIdentityTbaseGHC.Base Semigroup<>stimessconcatMonoidmemptymappendmconcat Data.EitherEitherLeftRight#alg-0.2.12.0-J4yPTqdUwxa1BEMMZProdvAlgebraGroup fromRightfromLeftisRightisLeftpartitionEithersrightsleftseitherControl.Category>>><<<Categoryid.