Struggle with type/bounds