Converting from functional dependencies to type families and associated types