More accurate typespecs