maybe it's somehow because Aristotelian practical rationality is like what Haskell calls an I/O monad, a pure logical deduction whose conclusion describes an action that the deducer must then execute, thus embedding praxis as an aspect of thought