úÎþ¶4      !"#$%&'()*+,-./0123None0*A data type with ten nullary constructors.Catamorphism for Digit.0foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d0 == x00foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d1 == x10foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d2 == x20foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d3 == x30foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d4 == x40foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d5 == x50foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d6 == x60foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d7 == x70foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d8 == x80foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d9 == x9 A prism for using Int as Digit. 5 ^? digitJust 5 0 ^? digitJust 0 9 ^? digitJust 9 10 ^? digitNothing (-5) ^? digitNothing!A prism for using Char as Digit. '5' ^? digitCJust 5 '0' ^? digitCJust 0 '9' ^? digitCJust 9 'a' ^? digitCNothing '@' ^? digitCNothing"A QuasiQuoter for any range of Digit.  digitQ|4| :: Digit 4Vnamed [digitQ|4|] = "four" named [digitQ|$x|] = "not four, " ++ show x ++ " instead"+mod10D x = let y = mod x 10 in [digitQ|$y|]; 456789:;<= Zero.One.Two.Three.Four.Five.Six.Seven.Eight. Nine. The digit to fold. !">?#$%&'()*+,-.#  !"#    !"'    456789:;<= !">?#$%&'()*+,-.@      !"#$%&'()*+,-./012345  678"digit-0.2.0-HzfwGoHgfjbCo08RlROW1E Data.DigitD9d9D8d8D7d7D6d6D5d5D4d4D3d3D2d2D1d1D0d0Digit foldDigitx0x1x2x3x4x5x6x7x8x9digitdigitCdigitQ $fReadDigit $fShowDigit $fD9Digit $fD8Digit $fD7Digit $fD6Digit $fD5Digit $fD4Digit $fD3Digit $fD2Digit $fD1Digit $fD0Digit $fEqDigit $fOrdDigit $fEnumDigit$fBoundedDigit $fDataDigitdexpdpat