Re: [Haskell-cafe] Is there some way to hack the type system without recompiling GHC?

On Fri, Nov 23, 2018 at 02:11:29PM +0800, ducis wrote:

In this case is it possible to somehow insert (regular haskell) code into the typechecker

Are you looking for GHC plugins? https://downloads.haskell.org/~ghc/8.6.2/docs/html/users_guide/extending_ghc...