Aux

BaseNewType

apply

Coercible NewTypeApply

applyM

NewTypeApplyM