T
ransformer_
S
emantics
Isotone_Transformers
Sup_Inf_Preserving_Transformers
Powerset_Monad
Kleisli_Transformers
Kleisli_Quantaloid
Kleisli_Quantale