>I find it unnatural (and irritating) that:
> [False ..] ==> [False, True]
> [false..] where false = False ==> [False, True]
> (Just . Just) 1 ==> Just (Just 1)
> (just.just) 1 where just = Just ==> Just (Just 1)
>but [False..]
>and (Just.Just) are illegal.
...
>What would be the consequences of:
> 1. Disallowing '@' as the leading character of a varsym
> 2. Using '@' to form qualified names (since '@' is already a reservedop,
> and a "Module@" prefix could never be confused with "aspatname@")
A less obtrusive option is single quote '. The unpleasant cases are things like:
Mod'f'c'
which is not so common, and single character module names:
'c'M.f
which are pretty uncommon.
--FC