Comments on data type families