Then the compiler typechecks this correctly
# general
h
Then the compiler typechecks this correctly