Remove the Maybe in primRepName's type
There's no need for this Maybe
, as it will always be instantiated to Just
in practice.
Fixes #20482 (closed).
There's no need for this Maybe
, as it will always be instantiated to Just
in practice.
Fixes #20482 (closed).