-
Iavor S. Diatchki authored
This is needed to make things like this work: type N = 9 myValue = fromSing (sing :: Sing N) If we don't look trough the synonym, we get an error that `SingI N` can't be solved.
bc00d901
This is needed to make things like this work: type N = 9 myValue = fromSing (sing :: Sing N) If we don't look trough the synonym, we get an error that `SingI N` can't be solved.