. . . "In particular, the kinds of families are declared by their signature and we do not have to compute any recursiveness information, as we never know whether we reached a fixed point for open types. (Hence, we conservatively assume families and their instances to be always `Recursive`." .