Fundeps replaced with type families