Made witness implicits available without extra import.