Exponential compile times with type families - code cleanup