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