GHC (Glasgow Haskell Compiler ) is the current de-facto standard and the most used Haskell compiler. It is also reputed with having hard to read error messages. This post will aim to explain a few of its errors. It will also (mostly implicitly) aim to show you how explicit type signatures can really help you write better code.