Fix examples/hello.lhs to actually work (!)