note about possible self type extension