args :: [String],
prompt :: String,
editor :: String,
args :: [String],
prompt :: String,
editor :: String,
session :: GHC.Session,
options :: [GHCiOption],
prelude :: GHC.Module,
session :: GHC.Session,
options :: [GHCiOption],
prelude :: GHC.Module,