Implicits eq [1].

Check (eq bool).