<div dir="ltr">I'm looking at Sandy Maguire's _Thinking With Types_ and he's talking about the cardinality of types. He introduces the product type<div><br></div><div>data MixedFraction a = Fraction<br>{ mixedBit :: Word8<br>, numerator :: a<br>, denominator :: a<br>}<br></div><div><br></div><div>How is this a type for holding mixed fractions such as 5-1/2?</div><div><br clear="all"><div>⨽<br></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Lawrence Bottorff<div>Grand Marais, MN, USA</div><div><a href="mailto:borgauf@gmail.com" target="_blank">borgauf@gmail.com</a></div></div></div></div></div>