20 July 2023

How to Prevent GHC from Inferring Types with Undesirable Constraints

A GHC pattern for improving the user experience of type-level programs

• ghc
• haskell
• type-level programming

Nicolas Frisby