mention of loading into ghci