Haskell Types

So I've been learning Haskell for some time, I get some basic and intermediate stuff, some monad basics, but could anyone recommend a good tutorial that explains type system better than YAHT?

>>14
No. Sometimes it can be ambiguous and you will have to help the compiler by providing type annotations, but generally most of the types your code can be inferred at compile time.