... | @@ -64,6 +64,7 @@ gcast :: (Typeable a, Typeable b) => c a -> Maybe (c b) -- it is now polykinded |
... | @@ -64,6 +64,7 @@ gcast :: (Typeable a, Typeable b) => c a -> Maybe (c b) -- it is now polykinded |
|
### Why are all of these in *base*?
|
|
### Why are all of these in *base*?
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This is a great question. The reason the Data.Type.Equality module is in base
|
|
This is a great question. The reason the Data.Type.Equality module is in base
|
|
is so that it can be used in Data.Typeable for `eqTypeable`. Does
|
|
is so that it can be used in Data.Typeable for `eqTypeable`. Does
|
|
`eqTypeable` *need* to be in *base*? No, I (Richard) don't think so.
|
|
`eqTypeable` *need* to be in *base*? No, I (Richard) don't think so.
|
... | | ... | |