[Haskell-cafe] GHC 8.2's new ghci commands: `:type +d` and `:type +v`

Dear cafe, GHC 8.2 supports two new ghci commands. They are `:type +d` and `:type +v` [1]. 0. normal `:type` command: Prelude> :type length length :: Foldable t => t a -> Int Prelude> :type ($) ($) :: (a -> b) -> a -> b 1. new `:type +d` command for newcomers: Prelude> :type +d length length :: [a] -> Int 2. new `:type +v` command for detail information: Prelude> :type +v ($) ($) :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b That's excellent :) [1]: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html#gh... Regards, Takenobu