title: Problems in Haskell's Type-System
body: <p>Ive come across some answers (here in SO) saying that Haskell has many "dark corners" in its type system, and also some messy holes. Could someone elaborate on this? </p>
  
  <p>Thanks in advance</p>