"Complexity bounds for container functors and comonads (PDF)"^^ . . . . . . . . . .