...but linked. so maybe it's one trait with both type parameters.