Aux

BaseNewType$Types

apply

Coercible NewTypeApply

applyM

NewTypeApplyM