• rerefined: Refinement types, again (refined rewrite) https://hackage.haskell.org/package/rerefined 11 comments 30/4/2024 haskell