3 ms·
So Haskell has type erasure only for data types that do not derive Typeable?
by iso8859-1 5y ago
So Haskell has type erasure only for data types that do not derive Typeable?
- tome 5y agoNo, because all types have a Typeable instance! Haskell has type erasure, and then using Typeable adds the type information back exactly where it is needed.