type a = a!("a")