I intend to take over
I think it implements a reasonable approach to ensuring compile-time safety of integer casts, and it would be sad to see it silently fall into obscurity due to the lack of maintenance.
This was discussed on GitHub since July 4, 2023, and I tried reaching @hvr via e-mail on July 5. Didn’t receive a reply at the time of writing, and it seems unlikely I will anytime soon, hence moving on with the takeover process.
This message is cross-posted to haskell-cafe.