self
EffectOps
NaturalTransformationOps
sequence
Effect
syntax
algebras