ToEffectOps
syntax
ToEffectOps
ToNaturalTransformationOps
syntax
ToNaturalTransformationOps
triple
Effect