GHCi

GHCにおける多彩な情報の出力方法 - Haskell-jp

:t 型
:k カインド
:i: 情報

$ ghci
> import Data.Monoid
> :i Monoid
type Monoid :: * -> Constraint
class Semigroup a => Monoid a where
  mempty :: a
  mappend :: a -> a -> a
  mconcat :: [a] -> a