Using type variables in function decl
Array type inference