Text this: A Monoidal View on Fixpoint Checks