Implicit Arguments eq [A].

Fail Check (bool = true).