// puti @= fn(x: int) {
// 	 #C("printf(\"%ld\\n\", (long)x);
// ");
// };
// putf @= fn(x: float) {
// 	 #C("printf(\"%f\\n\", (double)x);
// ");
// };

// f @= fn(x @ int) Type {
// struct {
// a: [x]float;
// }
// };



f @= fn(s @ Type) Type {
t @= int;
t
};

main @= fn() {
x : f(int);
y : f(int);
z : f(float);
};