Text this: Hacia la formalización del razonamiento ecuacional sobre mónadas