Implicit Arguments eq [A].

Check (bool = true).