withRepr

NewTypeOps

wrap

BaseNewType

wrapM

BaseNewType