Hogeyama
Results
1
issues of
Hogeyama
The mechanism of indicating error using `Elaborate` type family is quite cool but now that `extensible` doesn't support older GHC, it can use `GHC.TypeError` to show more readable error messages....