Aux
BaseNewType
apply
Coercible
NewTypeApply
applyM
NewTypeApplyM