It actually can using generic type signatures with constraints. Once you use a concrete type like Int you are severely limiting the expressiveness of the types

It actually can using generic type signatures with constraints. Once you use a concrete type like Int you are severely limiting the expressiveness of the types. Which is fine in some scenarios.