learnyouahaskell.com Believe the type We can get a type of expressions with :t command in GHCi. ghci> :t 'a' 'a' :: Char :: is read as "has type of". In the example above, Haskell says "'a' has type of Char". Explicit types are always deno…