PrimTyCon.primRepName uses Maybe no for good reason
Currently, PrimTyCon
's primRepName
field has type Maybe TyConRepName
. But there is no good reason for this, as in every place where a PrimTyCon
is constructed, primRepName
will be instantiated with a Just
. I propose changing primRepName
to be of type TyConRepName
instead to simplify this. What's more, this won't even change the exported API in GHC.Core.TyCon
, as the fields of PrimTyCon
aren't exported.