Use ghc-modi for fast checking