Conal Elliott
yes, but dodgy isn't Bool, it's _a_ Bool.
Right. dodgy is _a_ Bool, and therefore its meaning is an element of the meaning of Bool. If _any_ element of Bool (e.g. dodgy) has a machine-dependent meaning, then the meaning of Bool itself much have a complex enough structure to contain such an element.
Then, yes, every Haskell type depends on whatever any type depends on, and the only way for the denotations not to explode into one's face is to abstract away the fact that an expression forces its context upon its continuation. "MachineInfo ->" can be added by the denotation of function application, there's no need to have it inside Bool's denotation. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.