On 19 Sep 2009, at 22:21, Mark Morgan Lloyd wrote: > Is there any way of overloading the ^ (dereference) operator for a > user-defined type? No, it isn't. Jonas