Well, I was definitely not mentioning Pascal and C. Haskell&#x27;s type system is much easier to work with.<p>The thing is that any operation you are using on those arguments (of which the type is none of the procedure&#x27;s business) can be described by an interface which the argument implements.<p>You&#x27;re much safer knowing in compile time that the operations you&#x27;ll use will be valid, instead of hoping something doesn&#x27;t crash in runtime.