# hw-fingertree-strict