NewType

supertagged

NewType0

supertagged

NewTypeT

supertagged

Newtype

NewType0 supertagged

NullDummy

utils

nested

OverTagged

newtypeOps

supertagged

nullDummy

NullDummy