Add type-signature in spectral/para to help type-inf