Require Import List.
Fail Hint Resolve -> in_map.