Currently we have

type AutocompleteOrChoice a = Either Bool [Choice a]

Which is not clear at all what it could mean.

We should have a data structure with three constructors instead.