@@ -37,7 +37,7 @@ else instance signPartEmpty :: (Number' h t IntegerPart) => Number' h t Sign
3737else instance pointIntegerPart :: (Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart
3838else instance lastIntegerPart :: (Digit h) ⇒ Number' h "" IntegerPart
3939else instance digitIntegerPart :: (Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart
40−else instance lastFractionalPart :: Number' h "" FractionalPart
40+else instance lastFractionalPart :: (Digit h) ⇒ Number' h "" FractionalPart
4141else instance digitFractionalPart :: (Digit h, Cons h' t' t, Number' h' t' FractionalPart) => Number' h t FractionalPart
4242
4343foreign import data Literal ∷ Symbol → Type