f :: fn { print "f" } g :: fn -> int { answer :: 42 ret answer }