| If we're going to allow (... items ...) at all, then I suggest instead that the last example be written: | | module R( qualified module R(f,g) as Q ) where | f = ...; g = ... Sorry -- that was a typo. Thanks for spotting it S