Umm, does this really belong to an official type provider?