The part about this that interests me the most is that it makes the Bitcoin protocol more understandable. The code is very readable and it contains a lot of comments.
It's funny, strong type systems are really about explicit documentation. I'm sure the comments are good but translating a spec into Haskell types is a form of strong and explicit documentation that is also functional.