Fix the problem with the type families approach