I'm looking at Sandy Maguire's _Thinking With Types_ and he's talking about the cardinality of types. He introduces the product type
data MixedFraction a = Fraction
{ mixedBit :: Word8
, numerator :: a
, denominator :: a
}
How is this a type for holding mixed fractions such as 5-1/2?
⨽
Lawrence Bottorff
Grand Marais, MN, USA