Make HasInstance manually for nicer TH