Pointer dereferencing is a missed opportunity to use a postfix operator. If a* was the way to dereference, then a*.foo() could have been the way to call a funct

Pointer dereferencing is a missed opportunity to use a postfix operator. If a* was the way to dereference, then a*.foo() could have been the way to call a function on a pointer.