GHCi: updates.