3 ms·
In a type system like Haskell's, a function with that signature has to be unconditionally polymorphic in its variable types, so you can't have a list of excepti
by danharaj 7y ago
In a type system like Haskell's, a function with that signature has to be unconditionally polymorphic in its variable types, so you can't have a list of exceptions.
- dllthomas 7y agoIf you do want to be able to list exceptions in Haskell, that's what Typeable gets you. But then the type signature is different.