right ghci