I had two colleagues who done LYAH and one who attacked a program with type level programming without LYAH (because of LYAH non-existense at the moment). The f

I had two colleagues who done LYAH and one who attacked a program with type level programming without LYAH (because of LYAH non-existense at the moment). The first two didn't asked me or my colleague about anything type system related too often. After month or so of on-off work on his project one of them finished a complex translator from CPU description into VHDL. The one who studied Haskell without LYAH did asked us. I attribute it to complexity of program he worked on. My experience allows me to remain confirmed that proper exposure to Haskell type system greatly lessen associated burden. I should note that we didn't encounter many errors in our Haskell code. Much less than in code in Java or C#.