Exponential compile times for type families