fn fun{T}(arg:T) : T = arg
export{'e0',           fun{i8}}
export{tup{'e1','e2'}, fun{i16}}
export{'e3',           fun{i32}}