Then you would like to have statements as first class objects (e.g., to build them and pass around) and you are one step away from monads of Haskell. Then you

Then you would like to have statements as first class objects (e.g., to build them and pass around) and you are one step away from monads of Haskell. Then you HAVE TO HAVE types, otherwise reasoning about effects in these constructed statements would break your mental spine. Blasphemy.