Module combine
Functions
Choice
Composition
GuardedChoice
If
IfElifElse
IfElse
Not
Switch
Try
UndeterministicChoice
Where