> Haskell is odd and the type system is I feel restrictive. Can you elaborate on this? After using Haskell for some time now I can't seem to come up with use c

> Haskell is odd and the type system is I feel restrictive. 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.