Add instructions for how to run test cases
Test foo()() type error checking