1 2 3
Require Import List. Fail Hint Resolve -> in_map. (* Also happens when using <- instead of -> *)
