Since a proposition is a set of possible worlds which is of type <s, t>, the set of possible answers is a set of sets of possible worlds, namely, type <st, t> .
syntactically speaking, sentence-final particles are functions from a sentence to a question or a focused sentence.