-import Class(Class)
-import Id(Id)
-import Inst(Inst, InstOrigin, OverloadedLit)
-import UniType(UniType)
-import Unique(Unique)
-data Inst {-# GHC_PRAGMA Dict Unique Class UniType InstOrigin | Method Unique Id [UniType] InstOrigin | LitInst Unique OverloadedLit UniType InstOrigin #-}
-data LIE {-# GHC_PRAGMA MkLIE [Inst] #-}