CaseOf and Choice bindings