associate type signature close #7