úÎ!Dº?f      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdeNone*"#&',.1245678=>?@ACFHJMPRSUVX_`®compound-types8What you get, when the division cannot yet be performed.<Happens when the dividend doesn't contain the divisor. E.g.,  Char / Boolproduces Undivided Char BooluHowever it's possible to get back to the normal type, when you perform the required multiplication afterwards. E.g., Char / Bool * Boolproduces Char:This construct actually exists primarily for that purpose.compound-types@An operator for removing elements from the product-types. E.g., Int * Char * Bool / Charis the same type as  Int * Boolcompound-typesXAutomatically derives the product-type of the according arity from expressions such as: Int * Char * Bool In that case it will resolve to: Product3 Int Char Bool 11None*"#&',.1245678=>?@ACFHJMPRSUVX_`]compound-types;What you get, when the subtraction cannot yet be performed.>Happens when the minuend doesn't contain the subtrahend. E.g.,  Char - Boolproduces Unsubtracted Char BooloHowever it's possible to get back to the normal type, when you perform the required addition afterwards. E.g., Char - Bool + Boolproduces Char:This construct actually exists primarily for that purpose.compound-types<An operator for removing elements from the sum-types. E.g., Int + Char + Bool - Charis the same type as  Int + Boolcompound-typesTAutomatically derives the sum-type of the according arity from expressions such as: Int + Char + Bool In that case it will resolve to: Sum3 Int Char Bool$ !&%$#"'+*)(,/.-02100None)"#&',.1245678=>?@ACFHJMPRSUVX_` ’3  !"#$%&'()*+,-./0123021,/.-'+*)(!&%$#"   None*"#&',.1245678=>?@ACFHJMPRSUVX_`.ž3compound-types8What you get, when the division cannot yet be performed.<Happens when the dividend doesn't contain the divisor. E.g.,  Char / Boolproduces Undivided Char BooluHowever it's possible to get back to the normal type, when you perform the required multiplication afterwards. E.g., Char / Bool * Boolproduces Char:This construct actually exists primarily for that purpose.4compound-types@An operator for removing elements from the product-types. E.g., Int * Char * Bool / Charis the same type as  Int * Bool5compound-typesXAutomatically derives the product-type of the according arity from expressions such as: Int * Char * Bool In that case it will resolve to: Product3 Int Char Bool3456789:;<=>?@A4151None*"#&',.1245678=>?@ACFHJMPRSUVX_`;MBcompound-types;What you get, when the subtraction cannot yet be performed.>Happens when the minuend doesn't contain the subtrahend. E.g.,  Char - Boolproduces Unsubtracted Char BooloHowever it's possible to get back to the normal type, when you perform the required addition afterwards. E.g., Char - Bool + Boolproduces Char:This construct actually exists primarily for that purpose.Ccompound-types<An operator for removing elements from the sum-types. E.g., Int + Char + Bool - Charis the same type as  Int + BoolDcompound-typesTAutomatically derives the sum-type of the according arity from expressions such as: Int + Char + Bool In that case it will resolve to: Sum3 Int Char Bool$BCDELKJIHGFMSRQPONTYXWVUZ^]\[_ba`cedC0D0None)"#&',.1245678=>?@ACFHJMPRSUVX_`=‚33456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcde3ced_ba`Z^]\[TYXWVUMSRQPONELKJIHGFDCB@A>?<=:;8967543f          !"#$%&'()*+,-./0123          !"#$%&'()*+,-./01234-compound-types-0.1.4.1-A10GwZSvwjsJ4HAxHoep4xCompoundTypes.LazyCompoundTypes.Strict"CompoundTypes.Private.Lazy.ProductCompoundTypes.Private.Lazy.Sum$CompoundTypes.Private.Strict.Product CompoundTypes.Private.Strict.Sum Undivided/*Product7Product6Product5Product4Product3Product2 Unsubtracted-+Sum7Sum7_1Sum7_2Sum7_3Sum7_4Sum7_5Sum7_6Sum7_7Sum6Sum6_1Sum6_2Sum6_3Sum6_4Sum6_5Sum6_6Sum5Sum5_1Sum5_2Sum5_3Sum5_4Sum5_5Sum4Sum4_1Sum4_2Sum4_3Sum4_4Sum3Sum3_1Sum3_2Sum3_3Sum2Sum2_1Sum2_2