> Now, would it be legal to add this type signature to the end of M?
>
> reverse :: [a] -> [a]
>
> Or should it be
>
> M.reverse :: [a] -> [a]
Definitely (A), the unqualified form should be legal. I always consider
foo :: [..type..]
foo = [..defn..]
as a pair, and to require
M.foo :: [..type..]
foo = [..defn..]
would seem strange.
I'm with Ralf on this one.
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) -------------------:
: PhD Student, Computer Laboratory, University of Cambridge, UK. :
: Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. :
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:----------------------------------------------------------------:
