ghc-corroborate-1.0.0: An flatter API for GHC typechecker plugins