InstanceSigs not necessary. Also towerPlus can be inlined without any problem