. . "In Haskell, denotative corresponds to types other than IO and types that rely on IO (such as STM)." . . .