Comment by kibwen

And then once you have `fn foo<T>() -> T`, what do you write in the body that allows it to typecheck?