include Partial data type for constructing bodies