Documentation.
More documentation.
Cyclicity is determined solely by the operation.
Don’t bind reductions’ blocks.
Destructuring nullability.
Documentation.
It helps if you test the actual code.
Nullability is only tested via the operation.