Replacing fundeps with associated type synonyms