Base

NewTypeF newtype

ByNameNt

extend

ByNameNtLaws

laws

bindSuspendsEvaluation

EffectfulLaws

byNameNt

syntax