typedef a = int?;
typedef b = ()?;
typedef c = ()()^?;
typedef d = ()???;
typedef e = ()??^?^^???;