Remove Proxy# argument in Data.Typeable.Internal
Data.Typeable.Internal
has two functions
typeNatTypeRep :: KnownNat a => Proxy# a -> TypeRep a
typeSymbolTypeRep :: KnownSymbol a => Proxy# a -> TypeRep a
that are used to construct a TypeRep
for naturals and symbols in the solver. They are for internal use only. Now that TypeRep
is indexed, they no longer need the Proxy#
as an argument.
I'm not changing natVal
, symbolVal
etc.: (1) they are exposed to users; (2) removing the Proxy#
would make their type ambiguous.