Comment by phibz

For me the value of typed functional programming has been it's ability to encode business logic in to the type system and thus validate some of my logic at compile time.