Compute demand signatures assuming idArity