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

This testcase broke due to the generalised `Data.Foldable.length`