Implicits eq [1].

Check (eq bool true).