NewTypeF

extend

NewTypeSyntax

newtype

NonFailingIO

extend

naturalityCondition

ByNameNtLaws

newtype

extend

nt

ByNameNtLaws