elabDecl' what info (PInstance doc argDocs s f cs n nfc ps t expn ds)
    = do logLvl 1 $ "Elaborating instance " ++ show n
         elabInstance info s doc argDocs what f cs n nfc ps t expn ds
elabDecl' what info (PInstance doc argDocs s f cs n nfc ps t expn ds)
    = do logLvl 1 $ "Elaborating instance " ++ show n
         elabInstance info s doc argDocs what f cs n nfc ps t expn ds
elabDecl' what info (PInstance doc argDocs s f cs n nfc ps t expn ds)
    = do logLvl 1 $ "Elaborating instance " ++ show n
         elabInstance info s doc argDocs what f cs n nfc ps t expn ds