instance Choice (Builder s)
Removed the `s` parameter from Builder by making a separate internal
Building type.