A Mapped Type May Not Declare Properties