type(f64 ^ i32)
