Yeah, I had a similar idea and think it would be nice. however I prefer the idea of a 'magic module' so we don't eat up any syntax.
import Label now Label.Foo will be a value of type Label.Foo for any value taken from Label. another possibility is to treat a leading ' as special 'foo this would be somewhat reminicent of lispy languages. we would need to be careful to not collide with the character syntax though. John -- John Meacham - ⑆repetae.net⑆john⑈ _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime