i are not exported, but if
you load an interpreted module in ghci, then all top-level
definitions of that module are in scope. To hide what you didn't
export from ghci, compile the module and load the compiled module,
:l Exp resp
ghci Exp. Then only the
exported entities are available.