I don't think you need to do type-checking here.