This gotcha in the README isnt valid anymore. Contracts should work on top level functions.