Generalise Data.Fixed.Fixed to allow Nat type parameter.
Fix for #10055 (closed). The type parameter for
Data.Fixed) is now generalised to allow
Nat kind as well as
Type kind. Predefined
Fixed types changed to use
This makes it easier to create fixed-point types without having to create an instance of
type FP16 = Fixed (2 ^ 16) type Femto = Fixed (10 ^ 15)
This breaks the time library. As the maintainer of time, I will follow up to create a new point release with the (very small) fix.