Many in the Haskell community talk about being guided by their types, perhaps you're seeing a similar benefit? Not sure why the negative vibes toward this comm

Many in the Haskell community talk about being guided by their types, perhaps you're seeing a similar benefit? Not sure why the negative vibes toward this comment, I think it's fairly sensible (of course, this is a very subjective subject).