Can you elaborate on this? After using Haskell for some time now I can't seem to come up with use cases where the type system is/would be restrictive.