. "(24) Public agency means the department or any agency, board, authority, department, commission, political subdivision, municipal corporation, district, public corporation, body politic, or instrumentality of this state, including a county, municipality, housing authority, state-supported institution of higher education, school district, junior college, other district or authority, or other type" . . . . .