explicitly declare spec type