Ability to keep abstract term on the RHS of examples without trivially evaluating the choose construct.