This week we look at RFC 1598 "Generic Associated Types"