foo = fn |T| (x: T) -> T { x }
bar: str = foo::(str)::("hi")
baz: str = foo("hi")
x = json.parse::(int)::("1")
x: int = json.parse("1")