Hi > One observation about _E: Haddock does not like it. And having just checked, neither does GHC. Perhaps we shouldn't be using _E but something else - the definition: data Box a = Box a or data Tup1 a = Tup1 a both look good, and have some slightly obvious meaning. Tom - any reason not to prefer one of these? Thanks Neil