úÎ:µ'      !"#$%&,+A data type with ten nullary constructors. '()*+,-./0Zero. One. Two. Three. Four. Five. Six. Seven. Eight Nine. Catamorphism for Digit. Zero. One. Two. Three. Four. Five. Six. Seven. Eight. Nine. The digit to fold. BReturn the first argument if zero, otherwise the second argument. AReturn the first argument if one, otherwise the second argument. AReturn the first argument if two, otherwise the second argument. CReturn the first argument if three, otherwise the second argument. BReturn the first argument if four, otherwise the second argument. BReturn the first argument if five, otherwise the second argument. AReturn the first argument if six, otherwise the second argument. CReturn the first argument if seven, otherwise the second argument. CReturn the first argument if eight, otherwise the second argument. BReturn the first argument if nine, otherwise the second argument. 'Returns whether or not the digit is 0. 'Returns whether or not the digit is 1. 'Returns whether or not the digit is 2. 'Returns whether or not the digit is 3. 'Returns whether or not the digit is 4. 'Returns whether or not the digit is 5. 'Returns whether or not the digit is 6. 'Returns whether or not the digit is 7. 'Returns whether or not the digit is 8. 'Returns whether or not the digit is 9. BReturn the first argument if even, otherwise the second argument. !AReturn the first argument if odd, otherwise the second argument. "  !"   !"  !"#$%&"#$%&"#$%&"#$%&1      !"#$%&'()*+,-./01234 Digit-0.0.2 Data.DigitTest.Data.DigitDigitd0d1d2d3d4d5d6d7d8d9 foldDigitif0if1if2if3if4if5if6if7if8if9is0is1is2is3is4is5is6is7is8is9ifEvenifOddmain digitTests prop_foldprop_if prop_even_oddD9D8D7D6D5D4D3D2D1D0