Comment type

A type constructor which completely ignores certain arguments and passes through others transparently may embed comments on types cleanly into the syntax of the language. A function that does the same thing allows comments on expressions. Finally, comments on declarations complete everything one could ever want to comment.

Perl's HERE document syntax would be useful for multi-line comment strings.