Functions to name and form:

[Anton-Latukha]

Patterns that need a meticulous name:

toValue . f <=< fromValue -- is a frequently used wrapper, transformation from Nix type to Haskell type that can be processed by Haskell function:
-- Great example is @lenth@ builtin:
> lengthNix = toValue . (length :: [NValue t f m] -> Int) <=< fromValue
-- ^ Therefore document `fromValue <-> toValue` & put into introductory course
fromValue{,May} . coerce  -- (fromValue . Deeper) is just one of specialized forms of it
fromValue{,May} @returnType <=< force
fromValue{,May} @returnType <=< demand
addProvenance . Provenance -- `Eval` nv.*P functions should add those which use this patterns & include Provenance constructor into the functions, so just the scope & values are passed
-- > addProvenance (Provenance scope $ NBinary_ span NApp (pure f) Nothing)
-- becomes
-- > mkApplWithProv scope span (pure f) Nothing
-- and
-- > nvClosure (Provenance ..)
-- becomes
-- > mkClosureWithProv scope span ...