A hole is the answer to this question. You ask the compiler "what abstraction is missing?" and it tells you.