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