Require Import List.

Fail Hint Resolve -> in_map. (* Also happens when using <- instead of -> *)