type families and ranks