This results in ambigous implicits if there is implicit evidence of T
This always declares an instance of Refute
This always declares an instance of Refute
This instance will only be found when there is no evidence of T