Why the implicit def here?