Remove unnecessary arg/constraint from `mkUType`
Clarification and motivation
mkUType
has a SingI
constraint and mkUType'
has a Sing x
param. However, these are not actually needed, so we should remove them.
Acceptance criteria
-
mkUType
does not requireSingI
andmkUType'
does not requireSing x
.