is actually the Unit from the signature of the enc...
# getting-started
k
is actually the Unit from the signature of the enclosing function?