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#ghci-cmd-:type

Regards,
Takenobu