progn has a fixed meaning in how to sequence sub expressions do, afaik, just flips the written expression and use actual bind functions depending on the typecl

progn has a fixed meaning in how to sequence sub expressions do, afaik, just flips the written expression and use actual bind functions depending on the typeclass at point