Html type provider