Haskellのdo文を見ればわかるがあれはまさに手続き型言語における文のようなものだ