@@ -27,15 +27,13 @@ instance numberInstance :: (Number' h t Sign, Cons h t s) => Number s
2727
2828foreign import kind NumberPart
2929foreign import data Sign :: NumberPart
30−foreign import data FirstDigit :: NumberPart
3130foreign import data IntegerPart :: NumberPart
3231foreign import data FractionalPart :: NumberPart
3332
3433class Number' (head :: Symbol) (tail :: Symbol) (part :: NumberPart)
3534
36−instance signPart :: (Cons h' t' t, Number' h' t' FirstDigit) => Number' "-" t Sign
37−else instance signPartEmpty :: (Number' h t FirstDigit) => Number' h t Sign
38−else instance firstDigit :: (Digit h, Number' h t IntegerPart) => Number' h t FirstDigit
35+instance signPart :: (Cons h' t' t, Number' h' t' IntegerPart) => Number' "-" t Sign
36+else instance signPartEmpty :: (Number' h t IntegerPart) => Number' h t Sign
3937else instance pointIntegerPart :: (Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart
4038else instance lastIntegerPart :: (Digit h) ⇒ Number' h "" IntegerPart
4139else instance digitIntegerPart :: (Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart