@@ -35,16 +35,16 @@ class Number' (head :: Symbol) (tail :: Symbol) (part :: NumberPart)
3535instance signPart :: (Cons h' t' t, Number' h' t' IntegerPart) => Number' "-" t Sign
3636else instance signPartEmpty :: (Number' h t IntegerPart) => Number' h t Sign
3737else instance pointIntegerPart :: (Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart
38−else instance lastIntegerPart :: (Digit h) ⇒ Number' h "" IntegerPart
38+else 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 :: (Digit h) ⇒ 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
43−foreign import data Literal ∷ Symbol → Type
43+foreign import data Literal :: Symbol -> Type
4444
45−literal :: ∀ s. IsSymbol s ⇒ Number s => Literal s
45+literal :: forall s. IsSymbol s => Number s => Literal s
4646literal = (unsafeCoerce (unsafePartial (fromJust (fromString (reflectSymbol (SProxy :: SProxy s))))))
4747
48−toNumber ∷ ∀ s. Literal s → Number
48+toNumber :: forall s. Literal s -> Number
4949toNumber = unsafeCoerce
5050