Down with casting!