encapsulateTypedModule :: [JavaScript.Statement SourcePos]
                       -> Env
                       -> IO (JavaScript.Statement SourcePos)
encapsulateTypedModule typeErasedStmts env = do
  lib <- getContractsLib
  return $ encapsulate typeErasedStmts env lib
encapsulateTypedModule :: [JavaScript.Statement SourcePos]
                       -> Env
                       -> IO (JavaScript.Statement SourcePos)
encapsulateTypedModule typeErasedStmts env = do
  lib <- getContractsLib
  return $ encapsulate typeErasedStmts env lib
encapsulateTypedModule typeErasedStmts env = do
  lib <- getContractsLib
  return $ encapsulate typeErasedStmts env lib