GHCi: more modules.