Is there no way of adding a possible warning message (that obviously could be turned off) to warn users of possible problems linked to using mutable types as parameters? Seems to me this could save users a few minutes/hours of headaches and headscratching. (The biggest issue affecting new programmers these days!)