module IR.ClassInstantiation where

import qualified Common.Compiler as Compiler
import qualified IR.IR as I


instProgram :: I.Program I.Type -> Compiler.Pass (I.Program I.Type)
instProgram :: Program Type -> Pass (Program Type)
instProgram = Program Type -> Pass (Program Type)
forall (m :: * -> *) a. Monad m => a -> m a
return -- TODO