Fundeps turned into type families (I think)