There is a section later in the document entitled: "How do functional dependencies and associated types relate?" which discusses cases where fundeps may be more appropriate than associated types.  (I think the summary is "We will want associated types, but we think we want fundeps *too*, and this RFC is addressing fundeps.")