elabDecl' what info (PProvider doc syn fc nfc provWhat n)
  | what /= EDefns
    = do logLvl 1 $ "Elaborating type provider " ++ show n
         elabProvider doc info syn fc nfc provWhat n
elabDecl' what info (PProvider doc syn fc nfc provWhat n)
  | what /= EDefns
    = do logLvl 1 $ "Elaborating type provider " ++ show n
         elabProvider doc info syn fc nfc provWhat n
elabDecl' what info (PProvider doc syn fc nfc provWhat n)
  | what /= EDefns
    = do logLvl 1 $ "Elaborating type provider " ++ show n
         elabProvider doc info syn fc nfc provWhat n